Code Contracts Verifier (static analysis)

by Alexander Chebaturkin for Mono Project

This project will implement the static analysis verifier for .NET 4 Code Contracts, including numerical obligations analysis.