apache / incubator-teaclave-verification
Teaclave specification and proofs.
GitHub Repo
3.6K
lines of main code
29 files
0
lines of test code
0 files
229
lines of other code
2 files
0%
main code touched
1 year (0 LOC)
0%
new main code
1 year (0 LOC)
0
recent contributors
past 30 days
2y
age
897 days
THY
3.6K
thy

travis


Main Code: 3,555 LOC (29 files) = THY (100%)
Secondary code: Test: 0 LOC (0); Generated: 0 LOC (0); Build & Deploy: 0 LOC (0); Other: 229 LOC (2);
Duplication: 29%
File Size: 0% long (>1000 LOC), 51% short (<= 200 LOC)
Logical Component Decomposition: primary (1 component)

2 years, 5 months old

  • 100% of code older than 365 days
  • 100% of code not updated in the past 365 days

0% of code updated more than 50 times

Also see temporal dependencies for files frequently changed in same commits.

Goals: Keep the system simple and easy to change (4)

generated by sokrates.dev (configuration) on 2023-08-11; reference date: 2023-08-08