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.

Versio Arkistoon Käyttökohteita Päivämäärä
3.9.x 3.9.1 central tammik. 13, 2021
3.9.0 central tammik. 04, 2021
3.8.x 3.8.0 central jouluk. 01, 2020
3.7.x 3.7.1 central marrask. 02, 2020
3.43.x 3.43.0 central toukok. 01, 2024
3.42.x 3.42.0 central jouluk. 15, 2023
3.41.x 3.41.0 central
3.40.x 3.40.0 central marrask. 01, 2023
3.39.x 3.39.0 central
3.38.x 3.38.0 central
3.37.x 3.37.0 central
3.36.x 3.36.0 central heinäk. 03, 2023
3.35.x 3.35.0 central
3.34.x 3.34.0 central
3.33.x 3.33.0 central
3.32.x 3.32.0 central
3.31.x 3.31.0 central
3.30.x 3.30.0 central
3.29.x 3.29.0 central
3.28.x 3.28.0 central
3.27.x 3.27.0 central
3.26.x 3.26.0 central
3.25.x 3.25.0 central
3.24.x 3.24.0 central
3.23.x 3.23.0 central
3.22.x 3.22.2 central
3.22.1 central
3.22.0 central
3.21.x 3.21.4 central
3.21.3 central
3.21.2 central
3.21.1 central
3.21.0 central
3.20.x 3.20.0 central
3.19.x 3.19.0 central
3.18.x 3.18.1 central lokak. 04, 2021
3.18.0 central syysk. 01, 2021
3.17.x 3.17.0 central elok. 02, 2021
3.16.x 3.16.0 central heinäk. 13, 2021
3.15.x 3.15.0 central kesäk. 18, 2021
3.14.x 3.14.0 central kesäk. 01, 2021
3.13.x 3.13.0 central toukok. 03, 2021
3.12.x 3.12.0 central huhtik. 01, 2021
3.11.x 3.11.0 central maalisk. 01, 2021
3.10.x 3.10.0 central helmik. 01, 2021
3.1.x 3.1.0 central tammik. 03, 2020
3.0.x 3.0.1 central jouluk. 02, 2019
3.0.0 central marrask. 01, 2019
2.9.x 2.9.0 central heinäk. 03, 2019
2.8.x 2.8.2 central elok. 03, 2019
2.8.1 central heinäk. 03, 2019
2.8.0 central huhtik. 03, 2019
2.7.x 2.7.0 central maalisk. 02, 2019
2.6.x 2.6.0 central helmik. 03, 2019
2.5.x 2.5.7 central heinäk. 05, 2019
2.5.8 central jouluk. 05, 2018
2.5.6 central lokak. 03, 2018
2.5.5 central elok. 31, 2018
2.5.4 central elok. 02, 2018
2.5.3 central heinäk. 02, 2018
2.5.2 central kesäk. 01, 2018
2.5.1 central toukok. 01, 2018
2.5.0 central huhtik. 02, 2018
2.4.x 2.4.0 central maalisk. 01, 2018
2.3.x 2.3.2 central helmik. 01, 2018
2.3.1 central tammik. 02, 2018
2.3.0 central jouluk. 01, 2017
2.2.x 2.2.2 central marrask. 02, 2017
2.2.1 central syysk. 29, 2017
2.2.0 central syysk. 06, 2017
2.11.x 2.11.1 central lokak. 01, 2019
2.11.0 central elok. 31, 2019
2.10.x 2.10.1 central elok. 22, 2019
2.10.0 central elok. 01, 2019
2.1.x 2.1.14 central elok. 03, 2017
2.1.13 central heinäk. 03, 2017
2.1.12 central kesäk. 01, 2017
2.1.11 central toukok. 01, 2017
2.1.10 central huhtik. 03, 2017
2.1.9 central maalisk. 01, 2017
2.1.8 central tammik. 20, 2017
2.1.7 central tammik. 03, 2017
2.1.6 central jouluk. 01, 2016
2.1.5 central marrask. 02, 2016
2.1.4 central lokak. 03, 2016
2.1.3 central syysk. 16, 2016
2.1.2 central syysk. 01, 2016
2.1.1 central elok. 01, 2016
2.1.0 central heinäk. 01, 2016
2.0.x 2.0.1 central kesäk. 01, 2016
2.0.0 central toukok. 03, 2016
1.9.x 1.9.13 central huhtik. 01, 2016
1.9.12 central maalisk. 04, 2016
1.9.11 central helmik. 02, 2016
1.9.10 central tammik. 05, 2016
1.9.9 central jouluk. 03, 2015
1.9.8 central marrask. 10, 2015
1.9.7 central lokak. 24, 2015
1.9.6 central lokak. 08, 2015
1.9.5 central syysk. 02, 2015
1.9.4 central elok. 04, 2015
1.9.3 central heinäk. 01, 2015
1.9.2 central kesäk. 01, 2015
1.9.1 central toukok. 01, 2015
1.9.0 central huhtik. 18, 2015
1.8.x 1.8.11 central maalisk. 02, 2015
1.8.10 central tammik. 30, 2015
1.8.9 central jouluk. 20, 2014
1.8.8 central marrask. 26, 2014
1.8.7 central lokak. 30, 2014
1.8.6 central syysk. 25, 2014
1.8.5 central elok. 29, 2014
1.8.4 central elok. 01, 2014
1.8.3 central heinäk. 01, 2014
1.8.2 central kesäk. 02, 2014
1.8.1 central toukok. 02, 2014
1.8.0 central huhtik. 03, 2014