Skip to content

Checker Framework 2.10.0
Compare
Choose a tag to compare
@smillst smillst released this 01 Aug 19:46
· 4360 commits to master since this release
checker-framework-2.10.0
c7f9551

Version 2.10.0, August 1, 2019

Removed the NullnessRawnessChecker. Use the NullnessChecker instead.

Closed issues:
435, 939, 1430, 1687, 1771, 1902, 2173, 2345, 2470, 2534, 2606, 2613, 2619, 2633, 2638.

Assets 3
Loading