Checker Framework v2.8.1 Release Notes
Release Date: 2019-05-01 // almost 5 years ago-
๐ Version 2.8.1, May 1, 2019
๐ Moved text about the Purity Checker into its own chapter in the manual.
Closed issues:
660, 2030, 2223, 2240, 2244, 2375, 2407, 2410, 2415, 2420, 2421, 2446, 2447, 2460, 2462.