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

Name		Name	Last commit message	Last commit date
.github		.github
checker		checker
dataflow		dataflow
docs		docs
eclipse		eclipse
framework		framework
javacutil		javacutil
maven-artifacts		maven-artifacts
release		release
.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