Checker Qual


Checker Qual

checker-qual contains annotations (type qualifiers) that a programmer writes to specify Java code for type-checking by the Checker Framework.

Version Repository Usages Date
3.9.x 3.9.1 central 0 Jan 13, 2021
3.9.0 central 0 Jan 04, 2021
3.8.x 3.8.0 central 0 Dec 01, 2020
3.7.x 3.7.1 central 0 Nov 02, 2020
3.18.x 3.18.1 central 0 Oct 04, 2021
3.18.0 central 0 Sep 01, 2021
3.17.x 3.17.0 central 0 Aug 02, 2021
3.16.x 3.16.0 central 0 Jul 13, 2021
3.15.x 3.15.0 central 0 Jun 18, 2021
3.14.x 3.14.0 central 0 Jun 01, 2021
3.13.x 3.13.0 central 0 May 03, 2021
3.12.x 3.12.0 central 0 Apr 01, 2021
3.11.x 3.11.0 central 0 Mar 01, 2021
3.10.x 3.10.0 central 0 Feb 01, 2021
3.1.x 3.1.0 central 0 Jan 03, 2020
3.0.x 3.0.1 central 0 Dec 02, 2019
3.0.0 central 0 Nov 01, 2019
2.9.x 2.9.0 central 0 Jul 03, 2019
2.8.x 2.8.0 central 0 Apr 03, 2019
2.8.2 central 0
2.8.1 central 0
2.7.x 2.7.0 central 0 Mar 02, 2019
2.6.x 2.6.0 central 0 Feb 03, 2019
2.5.x 2.5.8 central 0 Dec 05, 2018
2.5.6 central 0 Oct 03, 2018
2.5.5 central 0 Aug 31, 2018
2.5.4 central 0 Aug 02, 2018
2.5.3 central 0 Jul 02, 2018
2.5.2 central 0 Jun 01, 2018
2.5.1 central 0 May 01, 2018
2.5.0 central 0 Apr 02, 2018
2.5.7 central 0
2.4.x 2.4.0 central 0 Mar 01, 2018
2.3.x 2.3.2 central 0 Feb 01, 2018
2.3.1 central 0 Jan 02, 2018
2.3.0 central 0 Dec 01, 2017
2.2.x 2.2.2 central 0 Nov 02, 2017
2.2.1 central 0 Sep 29, 2017
2.2.0 central 0 Sep 06, 2017
2.11.x 2.11.1 central 0 Oct 01, 2019
2.11.0 central 0 Aug 31, 2019
2.10.x 2.10.1 central 0 Aug 22, 2019
2.10.0 central 0 Aug 01, 2019
2.1.x 2.1.14 central 0 Aug 03, 2017
2.1.13 central 0 Jul 03, 2017
2.1.12 central 0 Jun 01, 2017
2.1.11 central 0 May 01, 2017
2.1.10 central 0 Apr 03, 2017
2.1.9 central 0 Mar 01, 2017
2.1.8 central 0 Jan 20, 2017
2.1.7 central 0 Jan 03, 2017
2.1.6 central 0 Dec 01, 2016
2.1.5 central 0 Nov 02, 2016
2.1.4 central 0 Oct 03, 2016
2.1.3 central 0 Sep 16, 2016
2.1.2 central 0 Sep 01, 2016
2.1.1 central 0 Aug 01, 2016
2.1.0 central 0 Jul 01, 2016
2.0.x 2.0.1 central 0 Jun 01, 2016
2.0.0 central 0 May 03, 2016
1.9.x 1.9.13 central 0 Apr 01, 2016
1.9.12 central 0 Mar 04, 2016
1.9.11 central 0 Feb 02, 2016
1.9.10 central 0 Jan 05, 2016
1.9.9 central 0 Dec 03, 2015
1.9.8 central 0 Nov 10, 2015
1.9.7 central 0 Oct 24, 2015
1.9.6 central 0 Oct 08, 2015
1.9.5 central 0 Sep 02, 2015
1.9.4 central 0 Aug 04, 2015
1.9.3 central 0 Jul 01, 2015
1.9.2 central 0 Jun 01, 2015
1.9.1 central 0 May 01, 2015
1.9.0 central 0 Apr 18, 2015
1.8.x 1.8.11 central 0 Mar 02, 2015
1.8.10 central 0 Jan 30, 2015
1.8.9 central 0 Dec 20, 2014
1.8.8 central 0 Nov 26, 2014
1.8.7 central 0 Oct 30, 2014
1.8.6 central 0 Sep 25, 2014
1.8.5 central 0 Aug 29, 2014
1.8.4 central 0 Aug 01, 2014
1.8.3 central 0 Jul 01, 2014
1.8.2 central 0 Jun 02, 2014
1.8.1 central 0 May 02, 2014
1.8.0 central 0 Apr 03, 2014