Skip to content

v3.0.0: full ground-up rewrite, ported from c-RCP - #172

Merged
SoundMatt merged 44 commits into
mainfrom
rewrite/v3-from-c-rcp
Aug 22, 2026
Merged

v3.0.0: full ground-up rewrite, ported from c-RCP#172
SoundMatt merged 44 commits into
mainfrom
rewrite/v3-from-c-rcp

rewrite(phase8): batch A — content-parity audit (record/observe/confi…

3650496
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings
formal verification (TLC model checking)
succeeded Aug 22, 2026 in 14s