On September 4th, Microsoft has made a new Code Contracts release available. Release 1.2.20903 (4 Sep 2009) comes among others with the following changes:
- Inclusion of Code Contracts into Sandcastle documentation! Thereby, Code Contracts achieve a full state of „checked documentation“.
- Improvements of the dynamic and static checker
- More contracts on core .NET framework assemblies
- Silverlight 3 support
- Many bugfixes on community feedback
Important hint: there are no API changes! Thus existing examples and blog posts on Code Contracts remain valid. Have a look at the release notes for a full list of changes.
Please keep posting your comments and suggestions for improvement on the Code Contracts forum.