summaryrefslogtreecommitdiffstats
path: root/tools/Contracts/Languages
Commit message (Collapse)AuthorAgeFilesLines
* Removes all traces of MS Code Contracts.Andrew Arnott2012-12-2640-1239/+0
|
* Fixed more line-endings.Andrew Arnott2010-08-028-249/+249
|
* Fixed line-endings.Andrew Arnott2010-08-0132-990/+990
|
* Upgraded to Code Contracts 1.4.30707.2.Andrew Arnott2010-08-0140-1239/+1239
|
* Upgraded to Code Contracts 1.4.30601.2Andrew Arnott2010-06-104-2/+93
|
* Checked in Code Contracts 1.2.30312.0 so it needn't be installed on dev ↵Andrew Arnott2010-04-2538-0/+1148
machines, and for reproducible builds.