summaryrefslogtreecommitdiffstats
path: root/tools/Contracts/Languages/CSharp/Code Contract Snippets
Commit message (Collapse)AuthorAgeFilesLines
* Removes all traces of MS Code Contracts.Andrew Arnott2012-12-2618-560/+0
|
* Fixed more line-endings.Andrew Arnott2010-08-028-249/+249
|
* Fixed line-endings.Andrew Arnott2010-08-0110-311/+311
|
* Upgraded to Code Contracts 1.4.30707.2.Andrew Arnott2010-08-0118-560/+560
|
* Upgraded to Code Contracts 1.4.30601.2Andrew Arnott2010-06-101-1/+1
|
* Checked in Code Contracts 1.2.30312.0 so it needn't be installed on dev ↵Andrew Arnott2010-04-2518-0/+560
machines, and for reproducible builds.