Repository navigation

All pull requests

Labels (14)Milestones (0)New pull request

Open

(43)

Closed

(346)

Bump com.diffplug.spotless:spotless-plugin-gradle from 6.22.0 to 8.8.0
#479dependabot[bot] opened Jun 30, 2026Bot
Bump gradle-wrapper from 8.10 to 9.6.1
#478dependabot[bot] opened Jun 26, 2026Bot
Share test JVM argument configuration across all Gradle Test tasks.
#477aosen-xiong opened Jun 26, 2026
Chore: Update stale Checker Framework doc links
#476aosen-xiong opened Jun 25, 2026
Chore: Remove author tags
#475aosen-xiong opened Jun 25, 2026
Change mode to ENUM instead of String
#473aosen-xiong opened Jun 23, 2026
Bump com.google.code.gson:gson from 2.9.1 to 2.14.0
#465dependabot[bot] opened Apr 24, 2026Bot
Bump com.google.guava:guava from 31.1-jre to 33.6.0-jre
#464dependabot[bot] opened Apr 15, 2026Bot
1
Bump com.github.johnrengelman.shadow from 7.1.2 to 8.1.1
#462dependabot[bot] opened Apr 13, 2026Bot
Bump org.plumelib:options from 1.0.5 to 2.0.3
#460dependabot[bot] opened Apr 13, 2026Bot
Bump org.plumelib:plume-util from 1.8.1 to 1.14.0
#459dependabot[bot] opened Apr 13, 2026Bot
Bump tools.aqua:z3-turnkey from 4.11.2 to 4.14.1
#456dependabot[bot] opened Apr 13, 2026Bot
Fix CI
#455aosen-xiong opened Mar 23, 2026
1
Use AnnotationMirrorSet and remove usage of Set<AnnotationMirror>
#454aosen-xiong opened Sep 8, 2024
Build CFI on Java 21
#453aosen-xiong opened Aug 29, 2024
2
Update to EISOP 3.42-eisop4 from 3.42-eisop3
#451aosen-xiong opened Jul 18, 2024
2
Features to enable PICO
#444aosen-xiong opened Apr 8, 2024
Add makeDefaultsExplicit option for running unit test
#417AndrewShf opened Mar 30, 2023Member
Get default type for new class tree
#414AndrewShf opened Feb 28, 2023Member
5
Add CFI with addDeepPreference method to add nested constraints
#412AndrewShf opened Dec 1, 2022Member
1
Default annotation to source code
#399piyush-J opened Jun 9, 2022
Convert build scripts to Kotlin
#396zcai1 opened May 29, 2022
20
Fix type declaration bounds in inference
#394zcai1 opened Mar 25, 2022
3
Support refinement for conditions of comparisons
#389d367wang opened Feb 20, 2022
20
Added GeneticMaxSatSolver
#382piyush-J opened Feb 9, 2022

Navigation Menu

Repository navigation

All pull requests

Bump com.diffplug.spotless:spotless-plugin-gradle from 6.22.0 to 8.8.0

Bump gradle-wrapper from 8.10 to 9.6.1

Share test JVM argument configuration across all Gradle Test tasks.

Chore: Update stale Checker Framework doc links

Chore: Remove author tags

Change mode to ENUM instead of String

Bump com.google.code.gson:gson from 2.9.1 to 2.14.0

Bump com.google.guava:guava from 31.1-jre to 33.6.0-jre

Bump com.github.johnrengelman.shadow from 7.1.2 to 8.1.1

Bump org.plumelib:options from 1.0.5 to 2.0.3

Bump org.plumelib:plume-util from 1.8.1 to 1.14.0

Bump tools.aqua:z3-turnkey from 4.11.2 to 4.14.1

Fix CI

Use AnnotationMirrorSet and remove usage of Set<AnnotationMirror>

Build CFI on Java 21

Update to EISOP 3.42-eisop4 from 3.42-eisop3

Features to enable PICO

Add makeDefaultsExplicit option for running unit test

Get default type for new class tree

Add CFI with `addDeepPreference` method to add nested constraints

Default annotation to source code

Convert build scripts to Kotlin

Fix type declaration bounds in inference

Support refinement for conditions of comparisons

Added `GeneticMaxSatSolver`

Pull requests