Please see the 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/.