Skip to content

Pull requests: eisop/checker-framework

New pull request New
41 Open 1,701 Closed
41 Open 1,701 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

Ship the front page in the release zip, so each release carries its own
#2099 opened Sep 16, 2026 by wmdietl Member Loading…
1
Audit docs/developer/release: remove the retired Maven Central steps, fail on drift, and ship what the release builds
#2097 opened Sep 16, 2026 by wmdietl Member Loading…
1
Enable -AassumePure and -AassumeAssertionsAreEnabled under -Amode=jspecify
#2092 opened Sep 15, 2026 by aosen-xiong Collaborator Loading…
@wmdietl
2
Remove the extra lower bound for captured type variables in inference
#2088 opened Sep 15, 2026 by aosen-xiong Collaborator Loading…
1
@wmdietl
1
Add read-write dynamic qualifiers to check unannotated field writes
#2062 opened Sep 12, 2026 by aosen-xiong Collaborator • Draft
1
Copy-on-Write AnnotatedTypeMirror prototype
#1837 opened Jun 23, 2026 by wmdietl Member • Draft
Preserve stable field refinements in lambdas
#1828 opened Jun 20, 2026 by aosen-xiong Collaborator Loading…
1
Add @IfNullThrows parameter annotation and unify with AssertMethod in CFG
#1566 opened Mar 2, 2026 by HenryXi1 • Draft
@wmdietl
7
Add @NonNullIfReturn: parameter-level conditional postcondition for nullness
#1530 opened Feb 10, 2026 by HenryXi1 Loading…
@wmdietl
9
Improve VSCode support: update developer manual and fix Eclipse nesting errors
#1518 opened Jan 30, 2026 by HenryXi1 Loading…
@wmdietl
1
Fixes-issue-1411: Extract a reusable test harness with Driver and CodeGenerator abstractions
#1424 opened Oct 7, 2025 by zyf265600 Loading…
1
Allow users to specify annotated jdk path
#1423 opened Oct 6, 2025 by YutongZhuu Loading…
@wmdietl
7
Introduce optimistic default
#1386 opened Sep 4, 2025 by aosen-xiong Collaborator Loading…
1
@wmdietl
11
Fix Value Checker unchecked-bytecode defaults test
#1384 opened Sep 3, 2025 by aosen-xiong Collaborator Loading…
@aosen-xiong
15
Add IntelliJ profiler usage guide to developer manual
#1348 opened Jul 21, 2025 by zyf265600 Loading…
New Onboarding Doc for Future URA Student
#1344 opened Jul 18, 2025 by zyf265600 Loading…
@thisisalexandercook
2
Mismatched checker-qual artifact example
#1318 opened Jul 5, 2025 by ShahriarAhnaf Loading…
1
@wmdietl
20
No bytecode storage
#1305 opened Jul 1, 2025 by aosen-xiong Collaborator • Draft
Fail fast for ErroneousTree
#1255 opened Jun 11, 2025 by aosen-xiong Collaborator • Draft
1
Fix initialization annotation of outer receiver with explicit annotation
#1253 opened Jun 10, 2025 by byd110 Collaborator Loading…
1
@byd110
14
Add new test case for NotOnlyInitialized
#1224 opened May 15, 2025 by byd110 Collaborator Loading…
1
@byd110
1
Fix: typecheck framework with nullness
#1222 opened May 14, 2025 by aosen-xiong Collaborator • Draft
1
@aosen-xiong
1
Viewpoint test checker: lost receiver invoke poly receiver method
#1173 opened Apr 5, 2025 by aosen-xiong Collaborator Loading…
@aosen-xiong
20
Implement PolyNull with element value
#1157 opened Mar 19, 2025 by aosen-xiong Collaborator • Draft
1
2
Typecheck jdk with nullness checker
#1145 opened Mar 13, 2025 by aosen-xiong Collaborator • Draft
4
ProTip! Adding no:label will show everything without a label.