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

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 11,493 Commits
checker		checker
dataflow		dataflow
eclipse		eclipse
framework		framework
javacutil		javacutil
maven-plugin		maven-plugin
release		release
stubparser		stubparser
tutorial		tutorial
.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.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 checker/manual`):

  * checker/manual/manual.html
  * checker/manual/manual.pdf

Prebuilt versions also appear on the web:

  * http://types.cs.washington.edu/checker-framework/current/checker-framework-manual.html
  * http://types.cs.washington.edu/checker-framework/current/checker-framework-manual.pdf