Revision 22baf4311a2a8e69fffdd7532a092c6bd30c3a40 authored by Francesco Logozzo on 08 January 2015, 20:05:37 UTC, committed by Francesco Logozzo on 08 January 2015, 20:06:05 UTC
1 parent c187973
File | Mode | Size |
---|---|---|
.nuget | ||
Common | ||
Demo | ||
Documentation | ||
ExperimentalTools | ||
Foxtrot | ||
Microsoft.Research | ||
Microsoft.VisualStudio.CodeTools | ||
System.Compiler | ||
.gitignore | -rw-r--r-- | 3.5 KB |
CCR.sln | -rw-r--r-- | 33.1 KB |
CodeContracts.sln | -rw-r--r-- | 203.9 KB |
CodeContracts10.vsmdi | -rw-r--r-- | 186.5 KB |
LICENSE.txt | -rw-r--r-- | 1.1 KB |
Local.testsettings | -rw-r--r-- | 1.1 KB |
README.md | -rw-r--r-- | 2.3 KB |
TraceAndTestImpact.testsettings | -rw-r--r-- | 6.0 KB |
build.bat | -rw-r--r-- | 29 bytes |
buildCC.bat | -rw-r--r-- | 296 bytes |
oob.sln | -rw-r--r-- | 148.9 KB |
Computing file changes ...