Please see the Checker Framework manual
(HTML,
PDF).
The history of releases and changes is in file
changelog.txt.
Documentation for Checker Framework developers
is in directory docs/developer/
.
Pluggable type-checking for Java
Please see the Checker Framework manual
(HTML,
PDF).
The history of releases and changes is in file
changelog.txt.
Documentation for Checker Framework developers
is in directory docs/developer/
.
名称与所有者 | typetools/checker-framework |
---|---|
主编程语言 | Java |
编程语言 | Shell (语言数: 8) |
平台 | |
许可证 | Other |
创建于 | 2015-07-03 11:09:17 |
---|---|
推送于 | 2025-08-28 17:12:36 |
最后一次提交 | 2025-08-28 10:12:35 |
发布数 | 184 |
最新版本名称 | checker-framework-3.49.5 (发布于 ) |
第一版名称 | checkers-1.1.1 (发布于 ) |
星数 | 1.1k |
---|---|
关注者数 | 43 |
派生数 | 376 |
提交数 | 19.4k |
已启用问题? | |
问题数 | 2011 |
打开的问题数 | 389 |
拉请求数 | 4591 |
打开的拉请求数 | 23 |
关闭的拉请求数 | 598 |
已启用Wiki? | |
---|---|
已存档? | |
是复刻? | |
已锁定? | |
是镜像? | |
是私有? |