/checker-framework

Pluggable type-checking for Java

Primary LanguageJavaOtherNOASSERTION

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

The history of releases and changes is in file changelog.txt.

Documentation for Checker Framework developers is in directory docs/developer/.