Age | Commit message (Expand) | Author |
---|---|---|
2012-08-21 | Merge Alexander Chebaturkin SoC 2012 changes | Marek Safar |
2011-08-25 | The base architecture for code-contracts analysis | Alexander Chebaturkin |
2010-08-12 | Minor updates | Chris Bacon |
2010-08-11 | Added ccrewrite library, tool and tests. | Chris |
2010-08-10 | Add Mono code contracts skeletons. | Marek Safar |