https://github.com/Microsoft/CodeContracts
Revision d80edec7d438a548490831f4e9cf529492d6144c authored by Sergey Tepliakov on 26 January 2016, 18:17:15 UTC, committed by Sergey Tepliakov on 26 January 2016, 22:43:56 UTC
Removed Microsoft.Contracts.ds file
Renamed nuspec file to Dotnet.Contracts.nuspec
1 parent fbf1645
History
Tip revision: d80edec7d438a548490831f4e9cf529492d6144c authored by Sergey Tepliakov on 26 January 2016, 18:17:15 UTC
Updated version to 1.10.
Tip revision: d80edec
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.5 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