Installation
Prerequisites
In order to use the tool you need to have Visual Studio 2010 and Code Contracts installed.
To maniputale polynomial constraints the tool relies on the Barvinok tool (include in binary form in the extension). Barvinok is a library, developed by Sven Verdoolaege, for counting the number of integer points in parametric and non-parametric polytopes as well as projections of such sets. It provides functionality to count the number of elements of these sets and for performing maximization and sum on polynomials over these sets.
Extension installation
Use the link below to get the extension installer, then execute it and follow the on-screen instructions when opening Visual Studio. You may be prompted to give administrator permissions for the installation.
Usage
Once installed, you can enable the annotations availability in a per-project basis using the option "Activate Memory Contracts" in the Tools menu. Static and/or runtime verification should be manually enabled in the Code Contracts settings for each project in order to get the verification results.
License
Resource Contracts for .NET is distributed under the GNU General Public License Version 3 (29 June 2007).