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 (語言數: 9) |
平台 | |
許可證 | Other |
創建於 | 2015-07-03 11:09:17 |
---|---|
推送於 | 2025-07-24 19:37:03 |
最后一次提交 | 2025-07-24 12:37:03 |
發布數 | 184 |
最新版本名稱 | checker-framework-3.49.5 (發布於 ) |
第一版名稱 | checkers-1.1.1 (發布於 ) |
星數 | 1.1k |
---|---|
關注者數 | 44 |
派生數 | 375 |
提交數 | 19.3k |
已啟用問題? | |
問題數 | 2008 |
打開的問題數 | 386 |
拉請求數 | 4544 |
打開的拉請求數 | 26 |
關閉的拉請求數 | 588 |
已啟用Wiki? | |
---|---|
已存檔? | |
是復刻? | |
已鎖定? | |
是鏡像? | |
是私有? |