GitHub - javabeanz/checker-framework: Pluggable type-checking for Java

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 12,012 Commits
checker		checker
dataflow		dataflow
docs		docs
eclipse		eclipse
framework		framework
javacutil		javacutil
maven-plugin		maven-plugin
release		release
stubparser		stubparser
.gitignore		.gitignore
.travis-build-without-test.sh		.travis-build-without-test.sh
.travis-build.sh		.travis-build.sh
.travis.yml		.travis.yml
LICENSE.txt		LICENSE.txt
README-developers.txt		README-developers.txt
README.txt		README.txt
build-common.properties		build-common.properties
build-common.xml		build-common.xml
build-styleguide.xml		build-styleguide.xml
build.xml		build.xml
changelog.txt		changelog.txt

Repository files navigation

Please see the Checker Framework manual.

It appears in this repository (after you run `make -C docs/manual`):

  * docs/manual/manual.html
  * docs/manual/manual.pdf

Prebuilt versions also appear on the web:

  * HTML: https://checkerframework.org/manual/
  * PDF: https://checkerframework.org/manual/checker-framework-manual.pdf