Checker Framework 3.49.3-eisop1

[wmdietl]

Version 3.49.3-eisop1 (May 6, 2025)

User-visible changes:

The Checker Framework runs under JDK 25 -- that is, it runs on a version 25 JVM.

Implementation details:

Gradle should now be run with at least JDK 17.
The ORG_GRADLE_PROJECT_useJdkVersion environment variable can be used to
select a different JDK for the actual compilation and testing.

Closed issues:

#1051, #1115, #1180.

Version 3.49.3 (May 2, 2025)

User-visible changes:

The Checker Framework runs under JDK 24 -- that is, it runs on a version 24 JVM.
(EISOP note: this has been working for a while already.)

Closed issues:

typetools#6520, typetools#6671, typetools#6750, typetools#6762, typetools#6887, typetools#7001, typetools#7019, typetools#7024, typetools#7029, typetools#7053.

Version 3.49.2 (April 1, 2025)

Closed issues:

typetools#6747, typetools#6755, typetools#6789, typetools#6891, typetools#6963, typetools#6996, typetools#7001, typetools#7008, typetools#7014.

---

This discussion was created from the release Checker Framework 3.49.3-eisop1.