.NET Code Contracts

Settings | Report Duplicate

1

I Use This!

Inactive

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jun 10, 2024 — Jun 10, 2025 Showing page 2 of 21 Search / Filter on:
Merge pull request #371 from tom-englert/Issue366	Sergey Teplyakov	More...				about 9 years ago
Merge pull request #359 from yaakov-h/pr/fix-framework-targetting	Sergey Teplyakov	More...				about 9 years ago
Merge pull request #400 from davidhesselbom/did-you-meant-fix	Sergey Teplyakov	More...				about 9 years ago
Fix ContractDeclarativeAssemblyAttribute definition in VB	Yaakov Smith	More...				about 9 years ago
Remove ContractDeclarativeAssemblyAttribute from static analysis in an attempt to mitigate #423.	Yaakov Smith	More...				about 9 years ago
Remove precondition on Expression.NewArrayInit that is statically unprovable when the compiler generates Expression calls from LINQ. Fixes #424.	Yaakov Smith	More...				about 9 years ago
Add missing postcondition to System.Type.GetMethods(). Fixes #414.	Yaakov Smith	More...				about 9 years ago
Fix whitespace in System.Type.cs	Yaakov Smith	More...				about 9 years ago
Comment modification for language code	Dan Atkinson	More...				about 9 years ago
Merge remote-tracking branch 'yaakov/pr/fix-framework-targetting' into internal/master	Yaakov Smith	More...				about 9 years ago
Merge pull request #410 from mike-barnett/master	Sergey Teplyakov	More...				about 9 years ago
Merge pull request #412 from wuestholz/master	Valentin Wüstholz	More...				about 9 years ago
Minor fix	Valentin Wüstholz	More...				about 9 years ago
Merge https://github.com/Microsoft/CodeContracts	Valentin Wüstholz	More...				about 9 years ago
Fro 32-bit assemblies, use the default imageBase, because doing otherwise causes bad assemblies if the module's imageBase is bigger than 0x400000.	Mike Barnett	More...				about 9 years ago
Correctly propagate the imagebase and sizeofStackReserve for 64-bit assemblies.	Mike Barnett	More...				about 9 years ago
Extend the CSV output.	Valentin Wüstholz	More...				about 9 years ago
Replaced "did you meant" with "did you mean".	David Hesselbom	More...				about 9 years ago
Merge pull request #398 from davidhesselbom/undestand-typo	Sergey Teplyakov	More...				about 9 years ago
Merge pull request #399 from davidhesselbom/README-tools-list-fix	Sergey Teplyakov	More...				about 9 years ago
Improved formatting of "provided tools" list in README.	David Hesselbom	More...				about 9 years ago
Fixed typo: undestand -> understand	David Hesselbom	More...				about 9 years ago
Add license header to test program files.	Valentin Wüstholz	More...				about 9 years ago
Merge https://github.com/Microsoft/CodeContracts	Valentin Wüstholz	More...				about 9 years ago
Rearrange terms to avoid failing on overflow; do null checks first	jeroen-mostert	More...				over 9 years ago
Add missing preconditions	jeroen-mostert	More...				over 9 years ago
Added support for array creation in contract methods in Roslyn generated code.	Hubert Bukowski	More...				over 9 years ago
Merge pull request #383 from hubuk/issue380	Sergey Teplyakov	More...				over 9 years ago
Added template parameters mapping to contracts and closures dupicator.	Hubert Bukowski	More...				over 9 years ago
Merge pull request #376 from hubuk/issue375	Sergey Teplyakov	More...				over 9 years ago

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