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

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

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

Name		Name	Last commit message	Last commit date
Latest commit History 13,520 Commits
.github		.github
checker-qual		checker-qual
checker		checker
dataflow		dataflow
docs		docs
framework		framework
gradle/wrapper		gradle/wrapper
javacutil		javacutil
jdk8		jdk8
maven-artifacts		maven-artifacts
util		util
.gitignore		.gitignore
.lgtm.yml		.lgtm.yml
.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.md		README.md
build.gradle		build.gradle
changelog.txt		changelog.txt
gradlew		gradlew
gradlew.bat		gradlew.bat
settings.gradle		settings.gradle

Navigation Menu