github typetools/checker-framework checker-framework-3.29.0
Checker Framework 3.29.0

latest releases: checker-framework-3.53.0, checker-framework-3.52.1, checker-framework-3.52.0...
3 years ago

Version 3.29.0 (January 5, 2023)

User-visible changes:

Dropped support for -ApermitUnsupportedJdkVersion command-line argument. You can now run the Checker Framework under any JDK version, without a warning.

Pass -Astubs=permit-nullness-assertion-exception.astub to not be warned about null pointer exceptions within nullness assertion methods like Objects.requireNonNull.

Pass -Astubs=sometimes-nullable.astub to unsoundly permit passing null to calls if null is sometimes but not always permitted.

Closed issues:

#5412, #5431, #5435, #5438, #5447, #5450, #5453, #5471, #5472, #5487.

Don't miss a new checker-framework release

NewReleases is sending notifications on new releases.