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

latest releases: checker-framework-3.52.1, checker-framework-3.52.0, checker-framework-3.51.1...
7 years ago

Version 2.5.5, August 30, 2018

Implicit imports (deprecated in November 2014) are no longer supported.

Renamed the testlib Maven artifact to framework-test.

Removed command-line option -AprintErrorStack, which is now the default.
Added -AnoPrintErrorStack to disable it (which should be rare).

Replaced ErrorReporter class with BugInCF and UserError exceptions.

Closed issues:

1999, 2008, 2023, 2029, 2074, 2088, 2098, 2099, 2102, 2107.

Don't miss a new checker-framework release

NewReleases is sending notifications on new releases.