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

Refactor to `advance_proof`#695

Draft

nwatson22 wants to merge 13 commits intomasterfrom

noah/refactor-prover

Commits on Oct 18, 2023

Start refactor of Prover for work with multithreading
nwatson22
committed

Commits on Oct 20, 2023

Merge remote-tracking branch 'origin/master' into noah/refactor-prover
nwatson22
committed
Move use separate extending and syncing functions in advance_proof
nwatson22
committed
Fix to work with BMC proofs
nwatson22
committed
Fix subsumption not being checked when no is_terminal is defined, fix proof being marked done prematurely
nwatson22
committed
Merge remote-tracking branch 'origin/master' into noah/refactor-prover
nwatson22
committed
Merge f90be554282aa0019b962031c097980e1e58dfd7 into 75e42ce707b8080e95f8a69a7e6e1b7966ee26c6
nwatson22
authored
Set Version: 0.1.476
rv-auditor
committed
Fix formatting
nwatson22
committed
Merge branch 'noah/refactor-prover' of https://github.com/runtimeverification/pyk into noah/refactor-prover
nwatson22
committed

Commits on Oct 23, 2023