.NET Code Contracts

Settings | Report Duplicate

1

I Use This!

Inactive

Commits : Listings

Analyzed about 21 hours ago. based on code collected 2 days ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 30, 2025 — Aug 30, 2026 Showing page 1 of 21 Search / Filter on:
Merge pull request #482 from WiseTechGlobal/wtg/pr/vs2017	Sergey Teplyakov	More...				over 9 years ago
It would help if the MSBuild15 targets were actually part of a feature.	Yaakov Smith	More...				over 9 years ago
Fix installer - targets for 15.0 should have unique GUID	Yaakov Smith	More...				over 9 years ago
Use 4.6.x reference assemblies for 4.6.2 in VS2013 and VS2015	Yaakov Smith	More...				over 9 years ago
Add .vs to .gitignore	Yaakov Smith	More...				over 9 years ago
Add MSBuild targets for VS2017	Yaakov Smith	More...				over 9 years ago
Merge pull request #459 from WiseTechGlobal/wtg/pr/rsp-generation	Sergey Teplyakov	More...				over 9 years ago
Merge pull request #464 from kkm000/patch-1	Sergey Teplyakov	More...				over 9 years ago
Merge pull request #470 from tom-englert/SyncR#	Sergey Teplyakov	More...				over 9 years ago
Add missing contracts found when aligning CC with R# External Annotations	tom-englert	More...				over 9 years ago
Support SQL Local DB 2016	Kirill Katsnelson	More...				almost 10 years ago
Merge pull request #457 from vanillajonathan/patch-1	Sergey Teplyakov	More...				almost 10 years ago
Add CodeContractsDeferAnalysis to do all of static checking except actually running cccheck.exe	Yaakov Smith	More...				almost 10 years ago
Fixed capitalization in parameter	Jonathan	More...				almost 10 years ago
Merge remote-tracking branch 'microsoft/master' into internal/master	Yaakov Smith	More...				almost 10 years ago
Merge pull request #452 from mnkraus/FixAssemblyRefs	Sergey Teplyakov	More...				about 10 years ago
Forced AssemblyRef flags to be ECMA compatible when writing output	Martin Kraus	More...				about 10 years ago
Merge pull request #393 from jeroen-mostert/master	Sergey Teplyakov	More...				about 10 years ago
Merge pull request #446 from tom-englert/Issue340	Sergey Teplyakov	More...				about 10 years ago
Add a test case and revert changes in reader as it breaks the tests.	tom-englert	More...				about 10 years ago
Merge pull request #445 from tom-englert/Issue340	Sergey Teplyakov	More...				about 10 years ago
Additional fix for #340: Type arguments can't start with a reserved char, so fall back to standard behavior in this case.	tom-englert	More...				about 10 years ago
Add a test.	Valentin Wüstholz	More...				about 10 years ago
Minor changes	Valentin Wüstholz	More...				about 10 years ago
Fix typo in comment - OptionsParsing.cs	Yaakov Smith	More...				over 10 years ago
Fix static checker dogfooding warning - remove redundant null-check	Yaakov Smith	More...				over 10 years ago
Fix static checker dogfooding warning - make un-mutated field readonly	Yaakov Smith	More...				over 10 years ago
Merge pull request #426 from WiseTechGlobal/wtg/wip/WI00119105	Sergey Teplyakov	More...				over 10 years ago
Merge pull request #413 from DanAtkinson/patch-1	Sergey Teplyakov	More...				over 10 years ago
Merge pull request #390 from hubuk/issue221	Sergey Teplyakov	More...				over 10 years ago

←
1
2
3
4
5
6
7
8
9
…
20
21
→