This project is read-only.

Code Contracts from Microsoft Research

Nov 28, 2008 at 9:43 PM
Hi Andre,

It was revealed at PDC2008 that .NET v4.0 will include code contracts (DbC) with compile-time static analysis.  Currently, these contracts are available in the Code Contracts framework from Microsoft Research.  I thought you might be interested since you already use a DbC library in your game, but it lacks static analysis capabilities.

Dec 3, 2008 at 7:40 PM
This discussion has been copied to a work item. Click here to go to the work item and continue the discussion.
Dec 3, 2008 at 7:47 PM
Hi Mike,

nice to hear you. This is very good advise!

Thank you.