c

checker-qual

Checker Qual is the set of annotations (qualifiers) and supporting classes used by the Checker Framework to type check Java source code. Please see artifact: org.checkerframework:checker
https://checkerframework.org
The MIT License
Michael Ernst Werner M. Dietl Suzanne Millstein
classes check code used type framework checker artifact please checkerframework source supporting qualifiers java annotations qual
Aggregated version Version Update time
2.5 2.5.2 Jun 02, 2018
2.5.1 May 02, 2018
2.5.0 Apr 03, 2018
2.4 2.4.0 Mar 02, 2018
2.3 2.3.2 Feb 02, 2018
2.3.1 Jan 03, 2018
2.3.0 Dec 02, 2017
2.2 2.2.2 Nov 03, 2017
2.2.1 Sep 30, 2017
2.2.0 Sep 06, 2017
2.1 2.1.14 Aug 04, 2017
2.1.13 Jul 04, 2017
2.1.12 Jun 02, 2017
2.1.11 May 02, 2017
2.1.10 Apr 04, 2017
2.1.9 Mar 02, 2017
2.1.8 Jan 21, 2017
2.1.7 Jan 04, 2017
2.1.6 Dec 02, 2016
2.1.5 Nov 03, 2016
2.1.4 Oct 04, 2016
2.1.3 Sep 17, 2016
2.1.2 Sep 01, 2016
2.1.1 Aug 02, 2016
2.1.0 Jul 02, 2016
2.0 2.0.1 Jun 02, 2016
2.0.0 May 03, 2016
1.9 1.9.13 Apr 01, 2016
1.9.12 Mar 04, 2016
1.9.11 Feb 02, 2016
1.9.10 Jan 05, 2016
1.9.9 Dec 04, 2015
1.9.8 Nov 10, 2015
1.9.7 Oct 25, 2015
1.9.6 Oct 09, 2015
1.9.5 Sep 02, 2015
1.9.4 Aug 05, 2015
1.9.3 Jul 02, 2015
1.9.2 Jun 02, 2015
1.9.1 May 02, 2015
133 Records