eisop / checker-framework

Pluggable type-checking for Java
https://eisop.github.io/
Other
19 stars 19 forks source link

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/.