Skip to content

Pull requests: typetools/checker-framework

New pull request New
39 Open 6,084 Closed
39 Open 6,084 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
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Do not doubly prefix the package name when parsing an ajava file
#8219 opened Sep 19, 2026 by mernst Member Loading…
1
Fix byte and short annotation elements in annotation files
#8218 opened Sep 19, 2026 by mernst Member Loading…
3
Fix checkerName to return the part before the colon
#8217 opened Sep 19, 2026 by mernst Member Loading…
1
Memoize the default qualifiers that apply to a scope
#8216 opened Sep 19, 2026 by mernst Member Loading…
1
Do not cache an answer computed while an ajava file for the current file is being parsed
#8215 opened Sep 19, 2026 by mernst Member Loading…
1
Suppress an "unneeded.suppression" warning regardless of string order
#8214 opened Sep 19, 2026 by mernst Member Loading…
1
Two minor performance fixes: CFAbstractStore.hashCode and logGat arguments
#8213 opened Sep 19, 2026 by mernst Member Loading…
1
Check type parameter bounds on override
#8212 opened Sep 19, 2026 by mernst Member Loading…
1
Convert uses of IPair to Java records
#8211 opened Sep 18, 2026 by mernst Member Loading…
@smillst
5
Apply the purity assumptions to a method with no purity annotation
#8210 opened Sep 18, 2026 by smillst Member Loading…
@smillst
1
Add an ignored slow-typechecking test for the Value Checker
#8209 opened Sep 18, 2026 by smillst Member Loading…
@mernst
3
Use a type variable's upper bound when deciding relevance
#8208 opened Sep 18, 2026 by mernst Member Loading…
8
Check functional-interface arguments of side-effect-free methods
#8204 opened Sep 17, 2026 by smillst Member Loading…
@smillst
8
New wpi2.sh script for whole-program inference
#8195 opened Sep 16, 2026 by mernst Member Loading…
13
Don't write irrelevant annotations in .ajava files
#8177 opened Sep 15, 2026 by mernst Member Loading…
18
Check a constructor's purity against its class's instance initializers
#8113 opened Sep 8, 2026 by smillst Member Loading…
@smillst
4
Permit a constructor to write an element of an array that it owns
#8112 opened Sep 8, 2026 by smillst Member Loading…
@smillst
5
Enforce @TargetLocations; fixes #8042
#8084 opened Sep 3, 2026 by w3lld1 Loading…
1
@w3lld1
11
Ensure soundness of StructuralEqualityComparer
#8071 opened Aug 29, 2026 by junho0831 Loading…
1
@junho0831
4
Support IntelliJ IDEA external annotations (annotations.xml); fixes #6258
#8045 opened Aug 23, 2026 by ceasermikes002 Loading…
1 task done
@mernst
44
Check @SideEffectsOnly on overrides and method references
#8040 opened Aug 21, 2026 by mernst Member Loading…
6
Check a method body against its @SideEffectsOnly annotation
#8039 opened Aug 21, 2026 by mernst Member Loading…
@mernst
26
RLC extension for resource collection
#7602 opened Mar 31, 2026 by iamsanjaymalakar Member Loading…
@iamsanjaymalakar
327
Add Resource Leak Checker tests for JDBC and RowSet resource types
#7480 opened Feb 6, 2026 by parameshn Loading…
@parameshn
21
Fix false-negative when overriding method type-parameter bounds
#7467 opened Jan 30, 2026 by Suvrat1629 Loading…
1
6
ProTip! What’s not been updated in a month: updated:<2026-08-19.