Skip to content

Preserve terminal machine outcomes and prepare complete state proofs - #795

Open
vfusco wants to merge 11 commits into
next/2.0from
feature/preserve-terminal-machine-states
Open

Preserve terminal machine outcomes and prepare complete state proofs#795
vfusco wants to merge 11 commits into
next/2.0from
feature/preserve-terminal-machine-states

Commits

Commits on Sep 2, 2026