Skip to content

Issues: SergeyTeplyakov/ReSharperContractExtensions

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

21 Open 41 Closed
21 Open 41 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Unlist 0.9.1.5 from ReSharper plugin gallery
#63 opened Apr 18, 2016 by citizenmatt
2
Support for Resharper 2016.1
#62 opened Apr 18, 2016 by bendup
3
CanBeNull / NotNull annotations support
#54 opened Jul 21, 2015 by t-denis
3
Option page is not available in R# 9.1
#53 opened May 15, 2015 by remyblok
1
Move extension's actions lower in the quick-fixes menu
#52 opened May 5, 2015 by hazzik
ReSharper 9
#50 opened Dec 17, 2014 by sliekens
25
Add Contract.Requires(!String.IsNullOrEmpty(arg)) action
#49 opened Nov 13, 2014 by denwanke
5
Create a fix that remove redundant precondition in overriden method
#45 opened Sep 11, 2014 by SergeyTeplyakov Release 0.9.1
@SergeyTeplyakov
Warn if overriden method contains precondition
#44 opened Sep 11, 2014 by SergeyTeplyakov Release 0.9.1
@SergeyTeplyakov
Attached attributes are separated by comma, but no following whitespace
#41 opened Aug 15, 2014 by pinebit
1
Fix that will split precondition check and async method
#40 opened Aug 12, 2014 by SergeyTeplyakov Release 0.9.1
@SergeyTeplyakov
Fix that split precondition check and method with iterator block
#38 opened Aug 12, 2014 by SergeyTeplyakov Release 0.9.1
@SergeyTeplyakov
overidden methods shouldn't be able to add requires
#36 opened Aug 8, 2014 by tankbob
1
Hides Copy Comments from base
#35 opened Aug 8, 2014 by tankbob
2
[Code Contract Bug] Access to the field treated as part of precondition bug
#23 opened Jul 20, 2014 by SergeyTeplyakov
Warn for inconsistent invariant feature
#19 opened Jul 19, 2014 by SergeyTeplyakov
@SergeyTeplyakov
Error when contract validator method contains Contract.Requires/Ensures enhancement
#15 opened Jul 12, 2014 by SergeyTeplyakov Release 0.9.1
@SergeyTeplyakov
2
Warn for using less accessible members in guards
#14 opened Jul 12, 2014 by SergeyTeplyakov Release 0.9.1
@SergeyTeplyakov
[Code Contract Bug] Weird visibility issue with ContractArgumentValidator bug
#13 opened Jul 12, 2014 by SergeyTeplyakov
Warn if ContractContractValidator doesn't have a validation logic feature
#12 opened Jul 11, 2014 by SergeyTeplyakov Release 0.9.1
@SergeyTeplyakov
Error for using inaccessible member in "old-style" contract feature
#8 opened Jul 11, 2014 by SergeyTeplyakov Release 0.9.1
@SergeyTeplyakov
ProTip! Updated in the last three days: updated:>2025-01-09.