c

checker-qual

checker-qual contains annotations (type qualifiers) that a programmer writes to specify Java code for type-checking by the Checker Framework.
https://eisop.github.io/
The MIT License
Werner M. Dietl Michael Ernst Suzanne Millstein
Aggregated version Version Update time
3.42 3.42.0-eisop4 Jul 13, 2024
3.42.0-eisop3 Mar 02, 2024
3.42.0-eisop2 Jan 10, 2024
3.42.0-eisop1 Jan 02, 2024
3.41 3.41.0-eisop1 Dec 06, 2023
3.40 3.40.0-eisop2 Nov 25, 2023
3.40.0-eisop1 Nov 25, 2023
3.39 3.39.0-eisop1 Oct 23, 2023
3.34 3.34.0-eisop1 May 10, 2023
3.32 3.32.0-eisop1 Mar 10, 2023
3.28 3.28.0-eisop1 Dec 08, 2022
3.27 3.27.0-eisop1 Nov 07, 2022
3.26 3.26.0-eisop1 Oct 14, 2022
3.25 3.25.0-eisop1 Sep 04, 2022
3.24 3.24.0-eisop1 Aug 06, 2022
3.23 3.23.0-eisop2 Jul 23, 2022
3.23.0-eisop1 Jul 15, 2022
3.22 3.22.1-eisop1 Jun 04, 2022
3.22.0-eisop1 May 07, 2022
3.21 3.21.4-eisop1 Apr 05, 2022
3.21.3-eisop1 Mar 24, 2022
3.21.2-eisop1 Feb 04, 2022
3.0 3.0.0-b2 May 25, 2019
3.0.0-b1 May 02, 2019
24 Records