CodeContracts v1.9.10709.0 Release Notes
Release Date: 2015-07-10 // over 8 years ago-
๐ 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.
๐ Bugfixes
- #38 - CCRewriter produces invalid IL on async method or iterator blocks.
- #55 - Fix for generic type parameters used as constraints for another type parameter.
- ๐ #84, #85 - Fixes for a lot's of system contracts.
๐ Many other fixes were made to support new Roslyn-based compiler that introduced new IL-patterns for non-capturing lambda expressions.
๐ท P.S. Thanks a lot for all community members who did astonishing job by fixing bugs and implementing very useful features!
- ๐ Code Contracts support for VS2010-2015