/checker-framework

Pluggable type-checking for Java

Primary LanguageJavaOtherNOASSERTION

The EISOP Checker Framework: pluggable type-checking for Java

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

The history of releases and changes is in file docs/CHANGELOG.md.

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