Indexed Artifacts (20.5M)

Popular Categories

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

LicenseMIT
CategoriesDefect Detection Metadata
Tagsdefectanalysismetadata
Used By492 artifacts

VersionRepositoryUsagesDate
3.13.x
3.13.0Central5May, 2021
3.12.x
3.12.0Central32Apr, 2021
3.11.x
3.11.0Central46Mar, 2021
3.10.x
3.10.0Central101Feb, 2021
3.9.x
3.9.1Central13Jan, 2021
3.9.0Central5Jan, 2021
3.8.x
3.8.0Central19Dec, 2020
3.7.x
3.7.1Central15Nov, 2020
3.7.0Central134Oct, 2020
3.6.x
3.6.1Central9Sep, 2020
3.6.0Central5Aug, 2020
3.5.x
3.5.0Central41Jul, 2020
3.4.x
3.4.1Central9Jun, 2020
3.4.0Central10May, 2020
3.3.x
3.3.0Central7Apr, 2020
3.2.x
3.2.0Central5Mar, 2020
3.1.x
3.1.1Central6Feb, 2020
3.1.0Central5Jan, 2020
3.0.x
3.0.1Central23Dec, 2019
3.0.0Central16Nov, 2019
2.11.x
2.11.1Central28Oct, 2019
2.11.0Central4Aug, 2019
2.10.x
2.10.1Central4Aug, 2019
2.10.0Central17Aug, 2019
2.9.x
2.9.0Central6Jul, 2019
2.8.x
2.8.2Central12Jun, 2019
2.8.1Central32May, 2019
2.8.0Central7Apr, 2019
2.7.x
2.7.0Central3Mar, 2019
2.6.x
2.6.0Central7Feb, 2019
2.5.x
2.5.8Central18Dec, 2018
2.5.7Central6Nov, 2018
2.5.6Central8Oct, 2018
2.5.5Central9Aug, 2018
2.5.4Central9Aug, 2018
2.5.3Central5Jul, 2018
2.5.2Central59Jun, 2018
2.5.1Central7May, 2018
2.5.0Central18Apr, 2018
2.4.x
2.4.0Central10Mar, 2018
2.3.x
2.3.2Central1Feb, 2018
2.3.1Central 0 Jan, 2018
2.3.0Central1Dec, 2017
2.2.x
2.2.2Central4Nov, 2017
2.2.1Central1Sep, 2017
2.2.0Central1Sep, 2017
2.1.x
2.1.14Central2Aug, 2017
2.1.13Central 0 Jul, 2017
2.1.12Central1Jun, 2017
2.1.11Central 0 May, 2017
2.1.10Central2Apr, 2017
2.1.9Central 0 Mar, 2017
2.1.8Central1Jan, 2017
2.1.7Central2Jan, 2017
2.1.6Central1Dec, 2016
2.1.5Central 0 Nov, 2016
2.1.4Central4Oct, 2016
2.1.3Central 0 Sep, 2016
2.1.2Central 0 Sep, 2016
2.1.1Central 0 Aug, 2016
2.1.0Central 0 Jul, 2016
2.0.x
2.0.1Central2Jun, 2016
2.0.0Central60May, 2016
1.9.x
1.9.13Central4Apr, 2016
1.9.12Central4Mar, 2016
1.9.11Central6Feb, 2016
1.9.10Central3Jan, 2016
1.9.9Central2Dec, 2015
1.9.8Central 0 Nov, 2015
1.9.7Central 0 Oct, 2015
1.9.6Central 0 Oct, 2015
1.9.5Central 0 Sep, 2015
1.9.4Central 0 Aug, 2015
1.9.3Central 0 Jul, 2015
1.9.2Central1Jun, 2015
1.9.1Central 0 May, 2015
1.9.0Central 0 Apr, 2015
1.8.x
1.8.11Central 0 Mar, 2015
1.8.10Central 0 Jan, 2015
1.8.9Central 0 Dec, 2014
1.8.8Central 0 Nov, 2014
1.8.7Central 0 Oct, 2014
1.8.6Central 0 Sep, 2014
1.8.5Central 0 Aug, 2014
1.8.4Central 0 Aug, 2014
1.8.3Central 0 Jul, 2014
1.8.2Central 0 Jun, 2014
1.8.1Central 0 May, 2014
1.8.0Central 0 Apr, 2014