Release 3.28.0 of the Checker Framework
10 views
Skip to first unread message
Suzanne Millstein
Dec 1, 2022, 3:33:59 PM12/1/22
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.28.0:
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.28.0:
**User-visible changes:**
The Checker Framework runs under JDK 19 -- that is, it runs on a version 19 JVM.
**Implementation details:**
Renamed `TryFinallyScopeCell` to `LabelCell`.
Renamed `TreeUtils.isEnumSuper` to `isEnumSuperCall`.
**Closed issues:**
#5390, #5399, #5390.
The Checker Framework runs under JDK 19 -- that is, it runs on a version 19 JVM.
**Implementation details:**
Renamed `TryFinallyScopeCell` to `LabelCell`.
Renamed `TreeUtils.isEnumSuper` to `isEnumSuperCall`.
**Closed issues:**
#5390, #5399, #5390.
Reply all
Reply to author
Forward
0 new messages