Skip to content
This repository was archived by the owner on Apr 25, 2024. It is now read-only.

Add parameter to advance_proof to split into subproofs after enough branches have been created #638

Open
nwatson22 wants to merge 54 commits into
base: master
Choose a base branch
from

Merge branch 'noah/subproof-split' of https://github.com/runtimeverif…

a2b386a
Select commit
Loading
Failed to load commit list.
Open

Add parameter to advance_proof to split into subproofs after enough branches have been created #638

Merge branch 'noah/subproof-split' of https://github.com/runtimeverif…
a2b386a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs