Skip to content

Conditional kappa 0.001591209947088545: jointly retimed complex trace - #554

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
rohanarun:codex/trace550-joint-retiming
Oct 12, 2026
Merged

Conditional kappa 0.001591209947088545: jointly retimed complex trace#554
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
rohanarun:codex/trace550-joint-retiming

Verify joint trace retiming with full physical replay and cross-versi…

c1c252e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
formal (matrix)
succeeded Oct 12, 2026 in 33s