Skip to content

Pull requests: eisop/checker-framework

New pull request New
53 Open 1,643 Closed
53 Open 1,643 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

Report nullness annotations in locations JSpecify does not recognize
#2024 opened Sep 6, 2026 by aosen-xiong Collaborator Loading…
1
1
Update docs/examples dependencies
#2023 opened Sep 6, 2026 by renovate Bot Loading…
1 task
Resolve aliases in checks that read annotations from trees
#2022 opened Sep 6, 2026 by aosen-xiong Collaborator Loading…
1
@wmdietl
1
Viewpoint-adapt supertype bounds before checking inheritance
#2008 opened Sep 2, 2026 by aosen-xiong Collaborator Loading…
1
@wmdietl
1
Add JSpecify nullness checking mode
#1998 opened Sep 1, 2026 by aosen-xiong Collaborator Loading…
1
@wmdietl
7
Support package annotation subpackage opt-outs
#1996 opened Sep 1, 2026 by aosen-xiong Collaborator Loading…
1
@wmdietl
1
Run the Checker Framework as an Error Prone plugin (eisopcf)
#1993 opened Sep 1, 2026 by wmdietl Member Loading…
@wmdietl
5
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
Clarify roles of @Deterministic, @Pure, and @SideEffectFree annotations
#1698 opened May 4, 2026 by aosen-xiong Collaborator Loading…
4
Add @IfNullThrows parameter annotation and unify with AssertMethod in CFG
#1566 opened Mar 2, 2026 by HenryXi1 • Draft
7
Improve required.method.not.called diagnostic messaging
#1544 opened Feb 20, 2026 by thisisalexandercook Collaborator Loading…
1
@thisisalexandercook
3
Add @NonNullIfReturn: parameter-level conditional postcondition for nullness
#1530 opened Feb 10, 2026 by HenryXi1 Loading…
9
Improve VSCode support: update developer manual and fix Eclipse nesting errors
#1518 opened Jan 30, 2026 by HenryXi1 Loading…
1
@AnnotatedFor runtime retention
#1482 opened Jan 5, 2026 by thisisalexandercook Collaborator Loading…
1
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…
@thisisalexandercook @byd110
7
Introduce optimistic default
#1386 opened Sep 4, 2025 by aosen-xiong Collaborator • Draft
1
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
Check that modern APIs are used
#1342 opened Jul 15, 2025 by wmdietl Member Loading…
@thisisalexandercook
12
Bump org.plumelib:options from 1.0.6 to 2.0.3 dependencies Pull requests that update a dependency file java Pull requests that update Java code
#1336 opened Jul 15, 2025 by dependabot Bot Loading…
1
Mismatched checker-qual artifact example
#1318 opened Jul 5, 2025 by ShahriarAhnaf Loading…
1
@ShahriarAhnaf
20
No bytecode storage
#1305 opened Jul 1, 2025 by aosen-xiong Collaborator • Draft
ProTip! Adding no:label will show everything without a label.