Skip to content

Pull requests: typetools/checker-framework

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
Assignee
Filter by who’s assigned
Sort

Pull requests list

Introducing improved Optional Checker
#6901 opened Nov 23, 2024 by jyoo980 Loading…
Add some java.util.Objects methods to astub
#6884 opened Nov 3, 2024 by vananiev Loading…
Boolean variables in dataflow
#6797 opened Sep 12, 2024 by smillst Loading…
Add Delegation Checker
#6609 opened May 19, 2024 by jyoo980 Draft
Don't output top annotations to .ajava files
#6432 opened Jan 30, 2024 by mernst Loading…
Issue error if top is used in a contract annotation
#6429 opened Jan 30, 2024 by mernst Loading…
Determine correct types for implicit this nodes
#6008 opened Jun 7, 2023 by mernst Loading…
Run WPI on plume-util
#5534 opened Jan 18, 2023 by mernst Draft
ProTip! Type g i on any issue or pull request to go back to the issue listing page.