Pluggable type-checking for Java
Java TeX Other
Switch branches/tags
checkers-pre-dff checkers-1.8.0 checkers-1.7.5 checkers-1.7.4 checkers-1.7.3 checkers-1.7.2 checkers-1.7.1 checkers-1.7.0 checkers-1.6.7 checkers-1.6.6 checkers-1.6.5 checkers-1.6.4 checkers-1.6.3 checkers-1.6.2 checkers-1.6.1 checkers-1.6.0 checkers-1.5.0 checkers-1.4.4 checkers-1.4.3 checkers-1.4.2 checkers-1.4.1 checkers-1.4.0 checkers-1.4.0-b1 checkers-1.3.1 checkers-1.3.0 checkers-1.2.7 checkers-1.2.6 checkers-1.2.5.1 checkers-1.2.5 checkers-1.2.4 checkers-1.2.3 checkers-1.2.2 checkers-1.2.1 checkers-1.2.0.1 checkers-1.2.0 checkers-1.1.5 checkers-1.1.4 checkers-1.1.3 checkers-1.1.2.1 checkers-1.1.2 checkers-1.1.1 checker-framework-2.5.2 checker-framework-2.5.1 checker-framework-2.5.0 checker-framework-2.4.0 checker-framework-2.3.2 checker-framework-2.3.1 checker-framework-2.3.0 checker-framework-2.2.2 checker-framework-2.2.1 checker-framework-2.2.0 checker-framework-2.1.14 checker-framework-2.1.13 checker-framework-2.1.12 checker-framework-2.1.11 checker-framework-2.1.10 checker-framework-2.1.9 checker-framework-2.1.8 checker-framework-2.1.7 checker-framework-2.1.7) checker-framework-2.1.6 checker-framework-2.1.5 checker-framework-2.1.4 checker-framework-2.1.3 checker-framework-2.1.2 checker-framework-2.1.1 checker-framework-2.1.0 checker-framework-2.0.1 checker-framework-2.0.0 checker-framework-1.9.13 checker-framework-1.9.12 checker-framework-1.9.11 checker-framework-1.9.10 checker-framework-1.9.9 checker-framework-1.9.8 checker-framework-1.9.7 checker-framework-1.9.6 checker-framework-1.9.5 checker-framework-1.9.4 checker-framework-1.9.3 checker-framework-1.9.2 checker-framework-1.9.1 checker-framework-1.9.0 checker-framework-1.8.11 checker-framework-1.8.10 checker-framework-1.8.9 checker-framework-1.8.8 checker-framework-1.8.7 checker-framework-1.8.6 checker-framework-1.8.5 checker-framework-1.8.4 checker-framework-1.8.3 checker-framework-1.8.2 checker-framework-1.8.1 before-reformatting after-reformatting
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
.github Improve issue template [ci skip] Jul 18, 2017
checker-qual Update Eclipse configuration & manual chapter (#1973) May 28, 2018
checker Improve building the jdk8.jar and using the built jdk8.jar Jun 20, 2018
dataflow Wrap long lines, as per google-java-format Jun 18, 2018
docs Enable switching between distributed and local Checker Framework [ci … Jun 19, 2018
framework Correct documentation and behavior of -AprintVerboseGenerics (#2038) Jun 19, 2018
gradle/wrapper Convert the build scripts from Ant to Gradle. (#1871) Mar 22, 2018
javacutil Small cleanups of dead code, code styles, usage of Java 8 APIs, etc. (#… Jun 14, 2018
maven-artifacts new release 2.5.2 Jun 1, 2018
util Handle wrapped diagnostic lines Jun 19, 2018
.gitignore Update .gitignore. Apr 17, 2018
.lgtm.yml Update lgtm to use Gradle. Mar 26, 2018
.travis-build-without-test.sh Fixes asking credentials for non-existent repository (#1980) May 30, 2018
.travis-build.sh Improve building the jdk8.jar and using the built jdk8.jar Jun 20, 2018
.travis.yml Add crash checking Guava to all-tests (#1974) May 11, 2018
LICENSE.txt Don't encourage use of checker.jar at run time (#1937) Apr 5, 2018
README.md Developer documentation Feb 21, 2018
build.gradle Improve building the jdk8.jar and using the built jdk8.jar Jun 20, 2018
changelog.txt Correct closed issues. Jun 1, 2018
gradlew Convert the build scripts from Ant to Gradle. (#1871) Mar 22, 2018
gradlew.bat Convert the build scripts from Ant to Gradle. (#1871) Mar 22, 2018
settings.gradle Move source sets (#1939) Apr 10, 2018

README.md

Please see the Checker Framework manual (HTML, PDF).

Additional documentation for Checker Framework developers is in directory docs/developer/.