c

checker

The Checker Framework enhances Java's type system to make it more powerful and useful. This lets software developers detect and prevent errors in their Java programs. The Checker Framework includes compiler plug-ins ("checkers") that find bugs or verify their absence. It also permits you to write your own compiler plug-ins.
https://checkerframework.org/
GNU General Public License, version 2 (GPL2), with the classpath exception
Michael Ernst Suzanne Millstein
Aggregated version Version Update time
3.48 3.48.3 Dec 03, 2024
3.48.2 Nov 02, 2024
3.48.1 Oct 12, 2024
3.48.0 Oct 03, 2024
3.47 3.47.0 Sep 04, 2024
3.46 3.46.0 Aug 02, 2024
3.45 3.45.0 Jul 02, 2024
3.44 3.44.0 Jun 04, 2024
3.43 3.43.0 May 02, 2024
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
134 Records