This repository has been archived by the owner on Jul 15, 2023. It is now read-only.
DotNet CodeContracts v.1.10.20606.1-rc2
Pre-release
Pre-release
·
29 commits
to master
since this release
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 considered Pure by Requires() or Invariant() when running on .NET 4.6.1
- #340 - ccrewrite fails to read assembly that has non-escaped comma in nested type names
- #346 - Invalid contract for System.Xml.Schema.XmlSchemaSet
- #349 - Possible invalid contract in System.Linq.Expression.NewExpression
- #351 - Invalid contract for System.Dynamic.BindingRestrictions
- #352 - Add contracts for System.Drawing.Imaging.EncoderParameters
- #365 - Access to instance members in async postconditions lead to invalid IL
- #410 - For 64-bit assemblies, preserve the imagebase value when rewriting.
- #414 - BCL: System.Type.GetMethods() is missing on ensures
- #424 - Static checker cannot prove compiler-generated Expressions are created safely.
- #423 - cccheck: Cached analysis gets horrendously slow over time
Acknowledgements
Thank you goes to all of the following users, who contributed feedback, bug reports, code submissions, testing, and reviews which helped in this release. In alphabetical order by username.