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

Output standard error as well as standard output
#6968 opened Jan 28, 2025 by mernst Loading…
Improve diagnostics
#6967 opened Jan 28, 2025 by mernst 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! Filter pull requests by the default branch with base:master.