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 intomasterfrom

Add parameter to `advance_proof` to split into subproofs after enough branches have been created#638nwatson22 wants to merge 54 commits intomasterruntimeverification/pyk:masterfrom noah/subproof-splitruntimeverification/pyk:noah/subproof-splitCopy head branch name to clipboard