mono/mono — pull request #437 by alexsatch (2012-08-20 18:59:42+00:00)
Title: GSoC 2012 Code Contracts Static Verifier

During the Google Summer of Code, I was required to implement Interval Analysis for Code Contracts static verifier (cccheck tool). Please see information of changes at http://chebaturkin.blogspot.com/2012/08/code-contracts-static-verifier.html.