Release 3.42.0 of the Checker Framework

9 views

Skip to first unread message

Suzanne Millstein

unread,

Dec 15, 2023, 6:43:29 PM12/15/23

to Checker Framework discussion

We have released a new version of the Checker Framework.
The Checker Framework lets you create and/or run pluggable type checkers, in order to detect and prevent bugs in your code.

You can find documentation and download links at:
http://CheckerFramework.org/

Changes for Checker Framework version 3.42.0:

Version 3.42.0 (December 15, 2023)

User-visible changes:

Method annotation @AssertMethod indicates that a method checks a value and possibly throws an assertion. Using it can make flow-sensitive type refinement more effective.

In org.checkerframework.common.util.debug, renamed EmptyProcessor to DoNothingProcessor. Removed org.checkerframework.common.util.report.DoNothingChecker. Moved ReportChecker from org.checkerframework.common.util.report to org.checkerframework.common.util.count.report.

Reply all

Reply to author

Forward

0 new messages

Release 3.42.0 of the Checker Framework

Suzanne Millstein

We have released a new version of the Checker Framework.The Checker Framework lets you create and/or run pluggable type checkers, in order to detect and prevent bugs in your code.You can find documentation and download links at:http://CheckerFramework.org/

Changes for Checker Framework version 3.42.0:

Version 3.42.0 (December 15, 2023)

We have released a new version of the Checker Framework.
The Checker Framework lets you create and/or run pluggable type checkers, in order to detect and prevent bugs in your code.

You can find documentation and download links at:
http://CheckerFramework.org/