summaryrefslogtreecommitdiffstats
path: root/tools/Contracts
Commit message (Collapse)AuthorAgeFilesLines
* Removes all traces of MS Code Contracts.Andrew Arnott2012-12-26105-13721/+0
|
* Fixed more line-endings.Andrew Arnott2010-08-028-249/+249
|
* Fixed line-endings.Andrew Arnott2010-08-0137-2809/+2809
|
* Upgraded to Code Contracts 1.4.30707.2.Andrew Arnott2010-08-01103-4621/+4617
|
* Updated Code Contracts to 1.4.30629.0Andrew Arnott2010-07-0361-4682/+5295
|
* Upgraded to Code Contracts 1.4.30601.2Andrew Arnott2010-06-1063-4645/+6512
|
* Added missing Code Contracts Bin files.Andrew Arnott2010-04-2611-0/+24
|
* Checked in Code Contracts 1.2.30312.0 so it needn't be installed on dev ↵Andrew Arnott2010-04-2596-0/+11221
machines, and for reproducible builds.