Skip to content

feat(stm): add missing off circuit checks - #3480

Open
damrobi wants to merge 6 commits into
mainfrom
damrobi/msnark/3381-add-off-circuit-checks
Open

feat(stm): add missing off circuit checks#3480
damrobi wants to merge 6 commits into
mainfrom
damrobi/msnark/3381-add-off-circuit-checks

refactor(stm): renaming and applying some comments

1da401e
Select commit
Loading
Failed to load commit list.
IOG Hydra / ci/eval succeeded Aug 20, 2026 in 4s

Evaluation succeeded

Checkout took 7s.
Evaluation took 25s.