forked from typetools/checker-framework
-
Notifications
You must be signed in to change notification settings - Fork 29
Pull requests: eisop/checker-framework
Pull requests list
Add @NonNullIfReturn: parameter-level conditional postcondition for nullness
#1530
opened Feb 10, 2026 by
HenryXi1
Loading...
Resolve JDK 26
Process compatibility warning
#1529
opened Feb 9, 2026 by
thisisalexandercook
Loading...
Update dependency adoptium/temurin26-binaries to v34
#1527
opened Feb 8, 2026 by
renovate
bot
Loading...
1 task
Improve VSCode support: update developer manual and fix Eclipse nesting errors
#1518
opened Jan 30, 2026 by
HenryXi1
Loading...
Bump gradle-wrapper from 8.14.4 to 9.3.0
dependencies
Pull requests that update a dependency file
java
Pull requests that update Java code
#1513
opened Jan 26, 2026 by
dependabot
bot
Loading...
Bump org.plumelib:plume-util from 1.11.0 to 1.13.0
dependencies
Pull requests that update a dependency file
java
Pull requests that update Java code
#1507
opened Jan 22, 2026 by
dependabot
bot
Loading...
Update dependency org.plumelib:plume-util to v1.13.0
#1502
opened Jan 21, 2026 by
renovate
bot
Loading...
1 task
Bump io.freefair.lombok from 8.12.1 to 9.2.0 in /docs/examples/lombok
dependencies
Pull requests that update a dependency file
java
Pull requests that update Java code
#1496
opened Jan 15, 2026 by
dependabot
bot
Loading...
Bump com.gradleup.shadow from 8.3.8 to 9.3.1
dependencies
Pull requests that update a dependency file
java
Pull requests that update Java code
#1483
opened Jan 6, 2026 by
dependabot
bot
Loading...
Handle intersection type in viewpoint adaptation
#1434
opened Oct 28, 2025 by
aosen-xiong
Loading...
Fixes-issue-1411: Extract a reusable test harness with Driver and CodeGenerator abstractions
#1424
opened Oct 7, 2025 by
zyf265600
Loading...
Reapply optimization of ConditionalTransferResult out of method invocation with fix
#1398
opened Sep 16, 2025 by
byd110
Loading...
Update to Gradle 9.0.0 and enable the configuration cache
#1362
opened Aug 5, 2025 by
wmdietl
Loading...
Add IntelliJ profiler usage guide to developer manual
#1348
opened Jul 21, 2025 by
zyf265600
Loading...
investigation: repeated NewClassTree visits in Nullness checker
#1345
opened Jul 18, 2025 by
zyf265600
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...
ProTip!
Adding no:label will show everything without a label.
You can’t perform that action at this time.