https://github.com/Microsoft/CodeContracts
Revision a334dbf224471282f233ce68d9779f88c0835050 authored by Valentin Wüstholz on 02 May 2016, 16:50:30 UTC, committed by Valentin Wüstholz on 02 May 2016, 16:50:30 UTC
2 parent s 566fdfb + 79a04c9
History
Tip revision: a334dbf224471282f233ce68d9779f88c0835050 authored by Valentin Wüstholz on 02 May 2016, 16:50:30 UTC
Merge https://github.com/Microsoft/CodeContracts
Tip revision: a334dbf
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.2 KB
CCR.sln -rw-r--r-- 33.1 KB
CONTRIBUTING.md -rw-r--r-- 5.9 KB
CodeContracts.sln -rw-r--r-- 80.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.6 KB
TraceAndTestImpact.testsettings -rw-r--r-- 6.0 KB
appveyor.yml -rw-r--r-- 1.1 KB
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