tree: 6b5b53d5b415f310e2580594db13f8d43e69bca5 [path history] [tgz]
  1. checker/
  2. checker-qual/
  3. checker-qual-android/
  4. checker-util/
  5. dataflow/
  6. docs/
  7. framework/
  8. framework-test/
  9. gradle/
  10. javacutil/
  11. azure-pipelines.yml
  12. build.gradle
  13. CONTRIBUTING.md
  14. gradle-mvn-push.gradle
  15. gradle.properties
  16. gradlew
  17. gradlew.bat
  18. LICENSE.txt
  19. README.md
  20. settings.gradle
README.md

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