c-contracts cs01 · COMPLETED
Contracts for C in one header. Clang type-checks them, CBMC proves them for all inputs.
github.com/cs01/c-contracts · ★ 1 · Forks 0 · Size 242 KB
SUMMARY
Technologies 4
Scored 4
Observed 4
Practices 6
Evidence 4
Skips 0
COVERAGE
Analyzed 27 files · 46 commits · 0 API calls
TECHNOLOGIES & DEPTH
C++ LANGUAGE Depth 70
1 files · PRODUCTION
Shell LANGUAGE Depth 70
5 files · PRODUCTION
C LANGUAGE Depth 70
10 files · PRODUCTION
Markdown LANGUAGE Depth 70
3 files · PRODUCTION
PRACTICES
documentation · observedautomated_tests · absentcontinuous_integration · absentcontainerization · absentlinting · absentformatting · absent
ACTIVITY & OWNERSHIP
First commit 2026-09-10
Last commit 2026-09-11
Active months 1
Commits 46