« Changelog History


CodeContracts v1.9.10714.2 Release Notes

Release Date: 2015-07-14 // almost 9 years ago

  • 🔋 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 Expression is used in a precondition
    • 📇 #33 - "Unknown custom metadata item kind: 7"
    • #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!