Checker Framework 3.24.0-eisop1
·
912 commits
to master
since this release
Version 3.24.0-eisop1 (August 5, 2022)
User-visible changes:
Postconditions on the parameters of a constructor are now used at new object creations.
Version 3.24.0 (August 3, 2022)
User-visible changes:
Performance improvements.
Minor bug fixes and enhancements.
Implementation details:
Prefer SystemUtil.jreVersion to SystemUtil.getJreVersion().
Closed issues: