everanium / itb
84%

DEFAULT BRANCH: main
Repo Added
Files 180
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH main
branch: main
CHANGE BRANCH
x

coverage: 83.833%. Remained the same
#11

push

github

everanium 
docs: update documentation for Desynchronized Interlocked Barrier

19523 of 23288 relevant lines covered (83.83%)

0.84 hits per line

Relevant lines Covered
23288 RELEVANT LINES 19523 COVERED LINES
0.84 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
#11 main docs: update documentation for Desynchronized Interlocked Barrier push everanium github
83.83
#10 main Release v0.9.0 — Desynchronized Interlocked Barrier Edition Introduce the Desynchronized Interlocked Barrier (Desync) across the ITB symmetric construction, eliminating the single-offset spatial anchor in each container region (Layer I, domain ta... push everanium github
83.83
#9 main Release v0.8.5 — Interlocked Barrier Edition Final release of the classic Interlocked Barrier Edition of the ITB symmetric construction with Ambiguity-Based Security. Complete the documentation, formal verification, post-quantum analysis, and 168... push everanium github
83.55
#8 main docs: audit and synchronize References and anchors across Markdown docs push everanium github
83.55
#7 main README.md: clarify 3-to-8 Multi-KEM epoch ratcheting in APPS.md description push everanium github
83.55
#6 main PROOFS.md, POSTQUANTUM.md: refine CCA query expectation and quantum sieve citations push everanium github
83.55
#5 main POSTQUANTUM.md: align table formula formatting push everanium github
83.55
#4 main Update root documentation and Lean 4 proof references push everanium github
83.55
#3 main Add POSTQUANTUM.md and bibliographic references across root documentation push everanium github
83.54
#2 main README: point coverage badge to Coveralls push everanium github
83.55
See All Builds (11)