Release 3.21.2 of the Checker Framework
1 view
Skip to first unread message
Suzanne Millstein
Feb 1, 2022, 4:57:10 PM2/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.21.2:
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.21.2:
**User-visible changes:**
The `wpi.sh` script supports non-standard names for build system compile targets via the new `-c` command-line option.
The Checker Framework now more precisely computes and checks the type of the pattern variable in a pattern match instanceof.
**Implementation details:**
Deprecated CFGLambda.getMethod{Name} in favor of getEnclosingMethod{Name}.
**Closed issues:**
#4615, #4993, #5006, #5007, #5008, #5013, #5016, #5021.
The `wpi.sh` script supports non-standard names for build system compile targets via the new `-c` command-line option.
The Checker Framework now more precisely computes and checks the type of the pattern variable in a pattern match instanceof.
**Implementation details:**
Deprecated CFGLambda.getMethod{Name} in favor of getEnclosingMethod{Name}.
**Closed issues:**
#4615, #4993, #5006, #5007, #5008, #5013, #5016, #5021.
Reply all
Reply to author
Forward
0 new messages