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-09-11 19:06:33 |
最后一次提交 | 2025-09-11 12:06:33 |
發布數 | 186 |
最新版本名稱 | checker-framework-3.51.0 (發布於 ) |
第一版名稱 | checkers-1.1.1 (發布於 ) |
星數 | 1.1k |
---|---|
關注者數 | 43 |
派生數 | 378 |
提交數 | 19.4k |
已啟用問題? | |
問題數 | 2018 |
打開的問題數 | 391 |
拉請求數 | 4612 |
打開的拉請求數 | 24 |
關閉的拉請求數 | 605 |
已啟用Wiki? | |
---|---|
已存檔? | |
是復刻? | |
已鎖定? | |
是鏡像? | |
是私有? |