Skip to content

Pull requests: eisop/checker-framework

New pull request New
49 Open 1,057 Closed
49 Open 1,057 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

Update versions.errorprone to v2.41.0
#1357 opened Jul 25, 2025 by renovate bot Loading…
1 task
Add IntelliJ profiler usage guide to developer manual
#1348 opened Jul 21, 2025 by zyf265600 Loading…
perf: add tree processing cache to avoid redundant computations
#1345 opened Jul 18, 2025 by zyf265600 Loading…
@zyf265600
6
New Onboarding Doc for Future URA Student
#1344 opened Jul 18, 2025 by zyf265600 Loading…
@thisisalexandercook
Check that modern APIs are used
#1342 opened Jul 15, 2025 by wmdietl Loading…
@thisisalexandercook
1
Bump io.freefair.lombok from 8.12.1 to 8.14 in /docs/examples/lombok dependencies Pull requests that update a dependency file java Pull requests that update Java code
#1337 opened Jul 15, 2025 by dependabot bot Loading…
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…
Refactor cache to determine if an element is annotatedfor
#1331 opened Jul 10, 2025 by Ao-senXiong • Draft
Support empty array fields for toArray(T[] a) args
#1319 opened Jul 7, 2025 by thisisalexandercook Loading…
1
@thisisalexandercook
12
Annotation sub package crash example
#1318 opened Jul 5, 2025 by ShahriarAhnaf Loading…
1
@ShahriarAhnaf
8
No bytecode storage
#1305 opened Jul 1, 2025 by Ao-senXiong • Draft
Introduce @NullMarked aliasing
#1304 opened Jul 1, 2025 by Ao-senXiong • Draft
1
@Ao-senXiong
6
Add onlyAnnotatedFor flag
#1290 opened Jun 26, 2025 by Ao-senXiong Loading…
1
@Ao-senXiong
53
Fail fast for ErroneousTree
#1255 opened Jun 11, 2025 by Ao-senXiong • Draft
Fix initialization annotation of outer receiver with explicit annotation
#1253 opened Jun 10, 2025 by byd110 Loading…
1
@byd110
14
java.lang.classfile API support for jtreg nullness tests
#1235 opened May 28, 2025 by thisisalexandercook Loading…
1
@thisisalexandercook
6
Add new test case for NotOnlyInitialized
#1224 opened May 15, 2025 by byd110 Loading…
1
@byd110
1
Fix: typecheck framework with nullness
#1222 opened May 14, 2025 by Ao-senXiong • Draft
1
@Ao-senXiong
1
Viewpoint test checker: lost receiver invoke poly receiver method
#1173 opened Apr 5, 2025 by Ao-senXiong • Draft
@Ao-senXiong
Implement PolyNull with element value
#1157 opened Mar 19, 2025 by Ao-senXiong • Draft
1
2
Typecheck jdk with nullness checker
#1145 opened Mar 13, 2025 by Ao-senXiong • Draft
4
Correctly substitue poly qualifier from type argument bounds
#1078 opened Jan 30, 2025 by Ao-senXiong Loading…
1
@Ao-senXiong
3
Forbid annotations on supertype
#1068 opened Jan 22, 2025 by Ao-senXiong Loading…
1
@Ao-senXiong
14
Improve cast warnings/errors logic
#1049 opened Jan 5, 2025 by Ao-senXiong Loading…
@Ao-senXiong
10
Adapt type use based on class bound
#1032 opened Dec 23, 2024 by Ao-senXiong Loading…
@Ao-senXiong
11
ProTip! Type g i on any issue or pull request to go back to the issue listing page.