https://github.com/Microsoft/CodeContracts
Revision be6d1858b605e6f473db7ea488926ef2af85eedf authored by Sergey Teplyakov on 03 February 2016, 04:32:23 UTC, committed by Sergey Teplyakov on 03 February 2016, 04:32:23 UTC
Remove invalid precondition from System.Dynamic.BindingRestrictions.GetInstanceRestriction.
Tip revision: be6d1858b605e6f473db7ea488926ef2af85eedf authored by Sergey Teplyakov on 03 February 2016, 04:32:23 UTC
Merge pull request #360 from yaakov-h/pr/351-contract-bindingrestrictions
Merge pull request #360 from yaakov-h/pr/351-contract-bindingrestrictions
Tip revision: be6d185
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 |
Computing file changes ...