Please see the Checker Framework manual (HTML, PDF).
Additional documentation for Checker Framework developers
is in directory docs/developer/.
forked from typetools/checker-framework
-
Notifications
You must be signed in to change notification settings - Fork 1
This is a UW cse403 capstone project to implement NullnessLite option. | Checker Framework is a pluggable type-checking for Java.
License
AnnyKong/checker-framework
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
This is a UW cse403 capstone project to implement NullnessLite option. | Checker Framework is a pluggable type-checking for Java.
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published
Languages
- Java 96.7%
- TeX 3.0%
- Other 0.3%