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.42 3.42.0 Dec 16, 2023
3.41 3.41.0 Dec 05, 2023
3.40 3.40.0 Nov 02, 2023
3.39 3.39.0 Oct 03, 2023
3.38 3.38.0 Sep 01, 2023
3.37 3.37.0 Aug 02, 2023
3.36 3.36.0 Jul 04, 2023
3.35 3.35.0 Jun 02, 2023
3.34 3.34.0 May 02, 2023
3.33 3.33.0 Apr 04, 2023
3.32 3.32.0 Mar 03, 2023
3.31 3.31.0 Feb 18, 2023
3.30 3.30.0 Feb 03, 2023
3.29 3.29.0 Jan 06, 2023
3.28 3.28.0 Dec 02, 2022
3.27 3.27.0 Nov 02, 2022
3.26 3.26.0 Oct 04, 2022
3.25 3.25.0 Sep 02, 2022
3.24 3.24.0 Aug 04, 2022
3.23 3.23.0 Jul 12, 2022
3.22 3.22.2 Jun 15, 2022
3.22.1 Jun 02, 2022
3.22.0 May 03, 2022
3.21 3.21.4 Apr 02, 2022
3.21.3 Mar 02, 2022
3.21.2 Feb 02, 2022
3.21.1 Jan 08, 2022
3.21.0 Dec 18, 2021
3.20 3.20.0 Dec 07, 2021
3.19 3.19.0 Nov 02, 2021
3.18 3.18.1 Oct 05, 2021
3.18.0 Sep 02, 2021
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
125 Records