This download installs the runtime and static checking tools for managed contracts along with Visual Studio integration. The tools enable runtime and static checking of managed contracts.
|
Download Details
|
Note: By installing, copying, or otherwise using this software, you agree to be bound by the terms of its license. Read the license. |
Overview
This download installs the runtime and static checking tools for managed contracts along with Visual Studio integration. The tools enable runtime and static checking of managed contracts.
Release 1.2.21023.14 (Oct 23, 2009)
This release mainly contains bug fixes.
VS2010 Beta 2 now supported
- Starting with this version, VS2010 Beta 2 is supported.
- Known Beta2 issues: some messages from static checker seem to be missing on first builds after loading a project/solution. Rebuild should solve it.
Contract Reference Assemblies
In previous versions of the tools, contract reference assemblies were built automatically on-demand for any project referenced by a project that used contracts. We changed this so that you need to enable "Build" for contract reference assemblies on any project for which the contract reference assembly may be needed. Please see Section 6.4 in the user documentation for more info on this.
Runtime Checker
- Fixed object invariant inheritance for runtime checking which resulted in code generation errors.
- Fixed inheritance of interface contracts onto structs (caused bad code in some cases)
- Old value evaluation now under try-catch to guard against conditionally needed old values
- Stricter checking of usage of contract methods
- Fixed generic method instantiation related to nested classes
- Better source contexts for some errors
- Fix for missing source files for WPF projects
Static Checker
- Fixed wrong reporting of unreached code
- Improved precision for handling lengths of generic collections
- Fixed several bugs caused by large numbers
- Fixed working of warnings on unnecessary assumptions
Framework Contracts
- Added contracts in System.Windows.Forms
- Added contracts in System.Data
System Requirements
To run this software, you’ll need the following:
- Windows XP, Vista, or Win7 Beta
32bit and 64bit version are supported - Visual Studio 2008, Professional or higher
Forum
Please discuss, provide feedback, and report problems and suggestsion at our msdn forum.
Commercial License
Corresponding release on devlabs for commercial use



