Groups keyboard shortcuts have been updated
Dismiss
See shortcuts
Release 3.47.0 of the Checker Framework
3 views
Skip to first unread message
Suzanne Millstein
Sep 4, 2024, 1:12:48 PM9/4/24
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:
Changes for Checker Framework version 3.47.0:
Version 3.47.0 (September 3, 2024)
User-visible changes:
The Checker Framework runs under JDK 22 -- that is, it runs on a version 22 JVM. The Checker Framework runs under JDK 23 -- that is, it runs on a version 23 JVM.
The Optional Checker no longer supports the @OptionalBottom annotation.
Implementation details:
Removed annotations:
@OptionalBottom
Closed issues:
#6510, #6704, #6743, #6749, #6760, #6761.
User-visible changes:
The Checker Framework runs under JDK 22 -- that is, it runs on a version 22 JVM. The Checker Framework runs under JDK 23 -- that is, it runs on a version 23 JVM.
The Optional Checker no longer supports the @OptionalBottom annotation.
Implementation details:
Removed annotations:
@OptionalBottom
Closed issues:
#6510, #6704, #6743, #6749, #6760, #6761.
Reply all
Reply to author
Forward
0 new messages