Skip to content
This repository has been archived by the owner on Jul 15, 2023. It is now read-only.

[Obsolete] VS2015 support

Pre-release
Pre-release
Compare
Choose a tag to compare
@SergeyTeplyakov SergeyTeplyakov released this 10 Jul 05:44
· 453 commits to master since this release
v.1.9.10709.0
01991e7

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!

Assets 5
Loading