https://github.com/Microsoft/CodeContracts
Revision 7e78df59fa71abd9cb83b9d1613821ddb0689ee4 authored by Valentin Wüstholz on 26 January 2016, 23:42:22 UTC, committed by Valentin Wüstholz on 26 January 2016, 23:42:22 UTC
1 parent a475a27
History
Tip revision: 7e78df59fa71abd9cb83b9d1613821ddb0689ee4 authored by Valentin Wüstholz on 26 January 2016, 23:42:22 UTC
Fix more issues.
Tip revision: 7e78df5
File Mode Size
.nuget
Common
Demo
Documentation
ExperimentalTools
Foxtrot
Microsoft.Research
Microsoft.VisualStudio.CodeTools
System.Compiler
.gitattributes -rw-r--r-- 57 bytes
.gitignore -rw-r--r-- 3.4 KB
CCR.sln -rw-r--r-- 33.1 KB
CONTRIBUTING.md -rw-r--r-- 5.9 KB
CodeContracts.sln -rw-r--r-- 211.4 KB
CodeContracts10.vsmdi -rw-r--r-- 186.5 KB
FoxtrotTestRun.testrunconfig -rw-r--r-- 1.1 KB
LICENSE.txt -rw-r--r-- 1.1 KB
Local.testsettings -rw-r--r-- 1.1 KB
README.md -rw-r--r-- 2.5 KB
TraceAndTestImpact.testsettings -rw-r--r-- 6.0 KB
appveyor.yml -rw-r--r-- 984 bytes
build.bat -rw-r--r-- 52 bytes
buildCC.bat -rw-r--r-- 681 bytes
oob.sln -rw-r--r-- 148.9 KB

README.md

back to top