Skip to content

Issues: kelloggm/checker-framework

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

63 Open 154 Closed
63 Open 154 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

unsupported lint option: redundantNullComparison
#237 opened Apr 8, 2020 by mkondratek
@wmdietl
5
LessThan transitivity
#232 opened Jun 7, 2018 by kelloggm
Testing difference (subtraction) of lengths to imply @SameLen
#231 opened Jun 2, 2018 by mernst
Addition with LessThan
#229 opened May 30, 2018 by kelloggm
3
GreaterThan as dual of LessThan
#227 opened May 30, 2018 by kelloggm
2
SameLen with method in argument doesn't work as expected
#223 opened May 9, 2018 by kelloggm
Unsafe cast warning by Less Than Checker when narrowing an index with a constant upper bound
#222 opened Apr 4, 2018 by panacekcz
Inference of IndexOrHigh after a for loop
#221 opened Apr 4, 2018 by panacekcz
Annotation GTEqLengthOf
#220 opened Mar 17, 2018 by panacekcz
Index incremented in a loop over an array
#219 opened Jan 26, 2018 by panacekcz
SameLen on custom collections requires a suppressed warning to establish representation invariant
#213 opened Jan 25, 2018 by kelloggm
1
Retain information when casting.
#212 opened Jan 22, 2018 by smillst
@smillst
SameLen to a method with any argument
#209 opened Dec 27, 2017 by kelloggm
LTLengthOf and GTENegativeOne implies SubstringIndexFor
#208 opened Dec 26, 2017 by panacekcz
0 is a valid SubstringIndexFor if the argument is not longer than the receiver
#207 opened Dec 26, 2017 by panacekcz
-1 is always a valid SubstringIndexFor
#206 opened Dec 26, 2017 by panacekcz
SameLen annotations on the elements of arrays/sequences do not work correctly
#205 opened Dec 20, 2017 by kelloggm
1
Index refinement cancels argument compatibility with SameLen sequence
#204 opened Dec 20, 2017 by panacekcz
3
Postcondition annotation for length inequality
#203 opened Dec 19, 2017 by panacekcz
Annotation for inequalities of sequence lengths
#202 opened Dec 19, 2017 by panacekcz
1
"new array[]" and array.length and @MinLen
#199 opened Dec 8, 2017 by mernst
1
Fixed-size instances of mutable collections
#197 opened Dec 5, 2017 by kelloggm
1
Remove PolySameLen
#196 opened Nov 28, 2017 by panacekcz
Subtracting IndexOrHigh from array length is non-negative
#193 opened Nov 21, 2017 by panacekcz
char can be implicitly NonNegative
#192 opened Nov 20, 2017 by panacekcz
@kelloggm
1
ProTip! no:milestone will show everything without a milestone.