Summary

Second community-driven release of the DotNet CodeContracts that is mostly focused on minor bug fixes.

Nuget Package

DotNet.CodeContracts at nuget.org

Bug fixes

• #221 - [VS2015] ccrewrite fails with CC1004: Malformed contract. Found Requires after assignment in method
• #339 - string.IsNullOrWhiteSpace() not cons...

Summary

This is the first major community-driven release of the DotNet CodeContracts. This release addresses a lot of pending issues with installer, new IL patterns introduced by Roslyn Csc compiler, and more reasonable implementation of the postconditions in async methods, a lot of changes in the BCL contracts and more.

Nuget Package

[DotNet.CodeContracts at nuget.org](https://www.nuget....

Features

• Code Contracts support for VS2010-2015 Long-expected version of the Code Contracts tools that works with VS2015.
• Code Contracts Editor Extensions support for VS2010-2015 Long-expected version of the Editor Extensions with support for VS2013 and VS2015.

Bugfixes

• #112 - "Malformed contract section" when rewriting async methods.
• #133 - [VS2015] ccrewrite fails when `Expressi...

Features

• Code Contracts support for VS2010-2015 Long-expected version of the Code Contracts tools that works with VS2015.
• Code Contracts Editor Extensions support for VS2010-2015 Long-expected version of the Editor Extensions with support for VS2013 and VS2015.

Bugfixes

• #112 - "Malformed contract section" when rewriting async methods.
• #33 - "Unknown custom metadata item kind: 7" -...

This release is obsolete! Please use updated one at https://github.com/Microsoft/CodeContracts/releases/tag/v1.9.10710.1.

Features

• Code Contracts support for VS2010-2015 Long-expected version of the Code Contracts tools that works with VS2015.
• Code Contracts Editor Extensions support for VS2010-2015 Long-expected version of the Editor Extensions with support for VS2013 and VS2015.

Bu...