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://checkerframework.org
The MIT License
Michael Ernst Suzanne Millstein
Aggregated version Version Update time
3.17 3.17.0 Aug 03, 2021
3.16 3.16.0 Jul 14, 2021
3.15 3.15.0 Jun 19, 2021
3.14 3.14.0 Jun 02, 2021
3.13 3.13.0 May 04, 2021
3.12 3.12.0 Apr 02, 2021
3.11 3.11.0 Mar 02, 2021
3.10 3.10.0 Feb 02, 2021
3.9 3.9.1 Jan 14, 2021
3.9.0 Jan 05, 2021
3.8 3.8.0 Dec 02, 2020
3.7 3.7.1 Nov 03, 2020
3.7.0 Oct 02, 2020
3.6 3.6.1 Sep 03, 2020
3.6.0 Aug 04, 2020
3.5 3.5.0 Jul 02, 2020
3.4 3.4.1 Jun 02, 2020
3.4.0 May 04, 2020
3.3 3.3.0 Apr 02, 2020
3.2 3.2.0 Mar 03, 2020
3.1 3.1.1 Feb 04, 2020
3.1.0 Jan 04, 2020
3.0 3.0.1 Dec 03, 2019
3.0.0 Nov 02, 2019
2.11 2.11.1 Oct 02, 2019
2.11.0 Aug 31, 2019
2.10 2.10.1 Aug 23, 2019
2.10.0 Aug 02, 2019
2.9 2.9.0 Jul 04, 2019
2.8 2.8.2 Jun 04, 2019
2.8.1 May 02, 2019
2.8.0 Apr 04, 2019
2.7 2.7.0 Mar 02, 2019
2.6 2.6.0 Feb 04, 2019
2.5 2.5.8 Dec 06, 2018
2.5.7 Nov 05, 2018
2.5.6 Oct 03, 2018
2.5.5 Aug 31, 2018
2.5.4 Aug 02, 2018
2.5.3 Jul 03, 2018
133 Records