.NET Code Contracts

Settings | Report Duplicate

1

I Use This!

Inactive

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jun 20, 2024 — Jun 20, 2025 Showing page 3 of 21 Search / Filter on:
Do not run 'git update-index' outside git reprository.	Hubert Bukowski	More...				over 9 years ago
Fixed invalid dash character in build script.	Hubert Bukowski	More...				over 9 years ago
Fix minor issue.	Valentin Wüstholz	More...				over 9 years ago
Merge pull request #372 from SergeyTeplyakov/bugs/bug365	Sergey Teplyakov	More...				over 9 years ago
Add new option '/maxFieldReads'.	Valentin Wüstholz	More...				over 9 years ago
Merge pull request #358 from yaakov-h/pr/348-decl-out-path	Sergey Teplyakov	More...				over 9 years ago
Merge pull request #341 from SergeyTeplyakov/bugs/bug340	Sergey Teplyakov	More...				over 9 years ago
Removed unused field	Sergey Teplyakov as Sergey Tepliakov	More...				over 9 years ago
Merge pull request #370 from SergeyTeplyakov/feature/enableFoxtrotTests	Sergey Teplyakov	More...				over 9 years ago
Add null check to avoid crash when parsing Roslyn generated code.	tom-englert	More...				over 9 years ago
Enable foxtrot tests	Sergey Teplyakov as Sergey Tepliakov	More...				over 9 years ago
Fix for #365	Sergey Teplyakov as Sergey Tepliakov	More...				over 9 years ago
Merge pull request #367 from yaakov-h/pr/301-remove-unprovable-contracts	Sergey Teplyakov	More...				over 9 years ago
Comment out statically-unprovable contracts.	Yaakov	More...				over 9 years ago
Minor refactoring	Valentin Wüstholz	More...				over 9 years ago
Change Decl dir name to 'CodeContractsDeclarative'	Yaakov	More...				over 9 years ago
Merge pull request #362 from yaakov-h/pr/352-EncoderParameters	Sergey Teplyakov	More...				over 9 years ago
Merge pull request #364 from yaakov-h/pr/346-XmlSchemaSet	Sergey Teplyakov	More...				over 9 years ago
Merge pull request #361 from yaakov-h/pr/349-contract-newexpression	Sergey Teplyakov	More...				over 9 years ago
Merge pull request #360 from yaakov-h/pr/351-contract-bindingrestrictions	Sergey Teplyakov	More...				over 9 years ago
Merge pull request #354 from hubuk/multitarget	Sergey Teplyakov	More...				over 9 years ago
Remove invalid precondition on System.Xml.XmlSchemaSet	Yaakov	More...				over 9 years ago
Add contracts for System.Drawing.Imaging.EncoderParameters	Yaakov	More...				over 9 years ago
Remove invalid postcondition in System.Linq.Expression.NewExpression.Members	Yaakov	More...				over 9 years ago
Remove invalid precondition from System.Dynamic.BindingRestrictions.GetInstanceRestriction.	Yaakov	More...				over 9 years ago
Use .NET 4.6 reference assemblies for 4.6.1	Yaakov	More...				over 9 years ago
Output declarative assemblies to output directory	Yaakov	More...				over 9 years ago
Provided long term solution for broken build. Added support for .Net reference assemblies located outside repository. Changed reference assemblies for .Net 4.6 to MSIL in order to get rid of compilation warnings.	Hubert Bukowski as hubuk	More...				over 9 years ago
Minor change	Valentin Wüstholz	More...				over 9 years ago
Fix more issues.	Valentin Wüstholz	More...				over 9 years ago

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