Giters

typetools / checker-framework

Pluggable type-checking for Java

Home Page:http://checkerframework.org/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

javatypesverification

The Checker Framework: pluggable type-checking for Java

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

About

Pluggable type-checking for Java

http://checkerframework.org/

javatypesverification

License:Other

Languages

Language:Java 94.4%Language:TeX 4.7%Language:Shell 0.8%Language:Makefile 0.1%Language:Batchfile 0.0%