GitHub - ashishrana160796/checker-framework: Pluggable type-checking for Java · GitHub

This repository was archived by the owner on Nov 27, 2020. It is now read-only.

Name		Name	Last commit message	Last commit date
.github		.github
checker-qual		checker-qual
checker		checker
dataflow		dataflow
docs		docs
framework		framework
gradle/wrapper		gradle/wrapper
javacutil		javacutil
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

Repository files navigation

Currently not actively contributing to this branch. Therefore, archiving it for future reference purposes.

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

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

About

Pluggable type-checking for Java

checkerframework.org/

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages