Checker Framework 2.5.1
smillst
released this
01 May 21:13
·
5342 commits
to master
since this release
Version 2.5.1, May 1, 2018
Added a Maven artifact of the Checker Framework testing library, testlib.
Closed issues:
849, 1739, 1838, 1847, 1890, 1901, 1911, 1912, 1913, 1934, 1936, 1941, 1942, 1945, 1946, 1948, 1949, 1952, 1953, 1956, 1958.