Version 3.50.0 (2025-08-28)

Implementation details:

Moved the Annotation File Utilities code into the Checker Framework repository as a subproject.

Version 3.49.5 (June 30, 2025)

User-visible changes:

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

Closed issues:

#7093.

Version 3.49.4 (June 2, 2025)

Closed issues:

#6740, #7013, #7038, #7070, #7082.

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.

Closed issues:

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

Version 3.49.2 (April 1, 2025)

Closed issues:

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

Version 3.49.1 (March 3, 2025)

Closed issues:

#6970, #6974.

Version 3.49.0 (February 3, 2025)

User-visible changes:

The Optional Checker is more precise for Optional values resulting from
operations on container types (e.g., List, Map, Iterable). It supports
two new annotations:

• @NonEmpty
• @UnknownNonEmpty

The Signature Checker no longer supports @BinaryNameWithoutPackage because
it is equivalent to @Identifier; use @Identifier instead.

The JavaStubifier implementation now appears in package org.checkerframework.framework.stubifier.JavaStubifier.

Closed issues:

#6935, #6936, #6939.

Version 3.48.4 (January 2, 2025)

Closed issues:

#6919, #6630.

Version 3.48.3 (December 2, 2024)

Closed issues:

#6886.

Version 3.48.2 (November 1, 2024)

Closed issues:

#6371, #6867.