Skip to content

Pull requests: typetools/checker-framework

New pull request New
26 Open 5,157 Closed
26 Open 5,157 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

Format groovy files
#7202 opened Aug 14, 2025 by mernst Loading…
2
Update plugin com.gradleup.shadow to v9
#7194 opened Aug 7, 2025 by renovate bot Loading…
1 task
@smillst
Change release process to account for putting AFU in CF repo.
#7185 opened Aug 1, 2025 by smillst Loading…
@smillst
44
Migrate JavaParser-Based Expression Parsing to Javac API
#7176 opened Jul 25, 2025 by akulk022 • Draft
@akulk022
7
Rlc collections redesign
#7166 opened Jul 23, 2025 by skehrli • Draft
@skehrli
77
Growonly checker
#7160 opened Jul 15, 2025 by Damika-Anupama Loading…
@Damika-Anupama
43
Suppresses RLC non-final field overwrite warning for safe constructor field initialization
#7050 opened Apr 18, 2025 by iamsanjaymalakar Loading…
@iamsanjaymalakar
30
Make JavaExpressionParseUtil handle ConditionalExpression
#7045 opened Apr 17, 2025 by mernst Loading…
@mernst
4
Fix UtilCheckerFuzzer: Security exception Update I18nFormatUtil.java
#7031 opened Apr 10, 2025 by Shivam7-1 Loading…
4
Fix RLC unsoundness with explicit @MustCallUnknown annotation
#6994 opened Mar 20, 2025 by kelloggm Loading…
1
6
Added confidential checker
#6981 opened Mar 3, 2025 by iywang2016 Loading…
6
Support adding declaration annotation aliases using annotation names
#6861 opened Oct 12, 2024 by mernst Loading…
@smillst
Support DefaultQualifiers that do not apply to subpackages
#6860 opened Oct 12, 2024 by mernst Loading…
@smillst
Boolean variables in dataflow
#6797 opened Sep 12, 2024 by smillst Loading…
1
@smillst
7
Fix WPI Non-Termination Issue with @UnknownInitialization Annotations
#6657 opened Jun 6, 2024 by erfan-arvan Loading…
@erfan-arvan
21
Add Delegation Checker
#6609 opened May 19, 2024 by jyoo980 • Draft
8
Don't output top annotations to .ajava files
#6432 opened Jan 30, 2024 by mernst Loading…
@kelloggm @smillst
1
Issue error if top is used in a contract annotation
#6429 opened Jan 30, 2024 by mernst Loading…
@smillst
4
Warn when using the top type in a pre- or post-condition annotation
#6412 opened Jan 22, 2024 by mernst Loading…
@mernst
6
Improve documentation of commonAssignmentCheck and correct overrides
#6347 opened Dec 8, 2023 by smillst Loading…
@smillst
7
Don't write irrelevant annotations in .ajava files
#6254 opened Oct 22, 2023 by mernst Loading…
1
@mernst
6
@CreatesMustCallFor create an obligation on exceptional successors
#6221 opened Oct 3, 2023 by Nargeshdb Loading…
1
@Nargeshdb
21
Determine correct types for implicit this nodes
#6008 opened Jun 7, 2023 by mernst Loading…
Add @SideEffectsOnly annotation
#5582 opened Jan 26, 2023 by mernst • Draft
@mernst
5
Run WPI on plume-util
#5534 opened Jan 18, 2023 by mernst • Draft
ProTip! Updated in the last three days: updated:>2025-08-11.