Release 3.46.0 of the Checker Framework
5 views
Skip to first unread message
Suzanne Millstein
Aug 1, 2024, 2:53:07 PM8/1/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.45.0:
Version 3.46.0 (August 1, 2024)
User-visible changes:
Renamed @EnsuresCalledMethodsVarArgsto @EnsuresCalledMethodsVarargs.
Closed issues:
#4923, #6420, #6469, #6652, #6664.
User-visible changes:
Renamed @EnsuresCalledMethodsVarArgsto @EnsuresCalledMethodsVarargs.
Closed issues:
#4923, #6420, #6469, #6652, #6664.
Reply all
Reply to author
Forward
0 new messages