.NET Code Contracts

Settings | Report Duplicate

1

I Use This!

Inactive

Commits : Listings

Analyzed about 6 hours ago. based on code collected 1 day ago.

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

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