Skip to content
This repository has been archived by the owner on Jul 15, 2023. It is now read-only.

Pull requests: microsoft/CodeContracts

9 Open 181 Closed
9 Open 181 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Fix justification message of Microsoft.Research.CodeAnalysis.Witness
#504 opened Oct 6, 2018 by akihikodaki Loading…
Fix typo in directive
#503 opened Jun 24, 2018 by maxproske Loading…
Add AppVeyor build status badge
#499 opened Jan 12, 2018 by aidmsu Loading…
Bugfix/495 dotnet build
#496 opened Sep 25, 2017 by johncrim Loading…
1
4
Fixes: #471 Can't build in VS 2015
#486 opened Apr 12, 2017 by johncrim Loading…
3
Add options to cccheck to find source in a different location
#462 opened Sep 29, 2016 by yaakov-h Loading…
Add contracts to System.Windows.Forms, System.Windows.Data classes
#387 opened Feb 22, 2016 by Patashu Loading…
3
Contract for TypeConverter.ConvertFrom(object)
#236 opened Sep 1, 2015 by Nathan-022 Loading…
3
Added new snippets.
#196 opened Aug 8, 2015 by Dennis-Petrov Loading…
4
ProTip! Mix and match filters to narrow down what you’re looking for.