This repository has been archived by the owner on Jul 15, 2023. It is now read-only.
·
426 commits
to master
since this release
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
Expressionis 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!
- Signed version of Code Contracts at VS Gallery: https://visualstudiogallery.msdn.microsoft.com/1ec7db13-3363-46c9-851f-1ce455f66970
- Signed version of Code Contracts Editor Extensions at VS Gallery: https://visualstudiogallery.msdn.microsoft.com/02de7066-b6ca-42b3-8b3c-2562c7fa024f