This repository has been 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 noah/subproof-split
+169-20
Commits
Commits on Sep 6, 2023
- committed
- committed
- committed
- committed
- authored
- committed
devops - authored
- committeddevops
- committed
Merge branch 'noah/subproof-split' of https://github.com/runtimeverification/pyk into noah/subproof-split
committed- committed
Commits on Sep 7, 2023
Commits on Sep 13, 2023
- committed
- committed
- authored
- committeddevops
- committed
Merge branch 'noah/extract-branches-fix' of https://github.com/runtimeverification/pyk into noah/extract-branches-fix
committed- committed
Commits on Sep 15, 2023
- committed
- authored
- authored
- committeddevops
- committed
- authored
- committeddevops
Commits on Sep 16, 2023
Commits on Sep 18, 2023
- authored
- authored
- committeddevops
- committed
- authored
- committed
Merge branch 'noah/subproof-split' of https://github.com/runtimeverification/pyk into noah/subproof-split
committed
Commits on Sep 20, 2023
- authored
- authored
- committeddevops
Commits on Sep 21, 2023
Commits on Sep 22, 2023
- committed
- committed
- committed
- committed
- committed
Commits on Sep 25, 2023
- committed
- authored
- committeddevops
- committed
Merge branch 'noah/subproof-split' of https://github.com/runtimeverification/pyk into noah/subproof-split
committed