8000 Labels · typetools/checker-framework · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

No labels!

There aren’t any labels for this repository quite yet.

32 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
enhancement
enhancement
91
False Positive (false warning or imprecision)
False Positive (false warning or imprecision)
49
bug
bug
37
False Negative (missing warning or unsoundness)
False Negative (missing warning or unsoundness)
26
ResourceLeakChecker
ResourceLeakChecker
25
good first issue
good first issue
A beginner-friendly place to start contributing to the Checker Framework
20
Dataflow
Dataflow
13
Index
Index
11
crash
crash
9
JavaExpressions
JavaExpressions
5
nondeterminism
nondeterminism
4
Performance
Performance
4
Java8
Java8
3
wontfix
wontfix
2
question
question
1
Unreproducible
Unreproducible
1
StubParser
StubParser
1
Java 11
Java 11
1
Android
Android
1
invalid
invalid
duplicate
duplicate
dependencies
dependencies
Pull requests that update a dependency file
Verification
Verification
QualifierFramework
QualifierFramework
PolyCollector
PolyCollector
Maven
Maven
Manual
Manual
Keyfor
Keyfor
Intersections
Intersections
Flow
Flow
0