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

Self-contained proof steps for EqualityProver and APRProver - #886

Closed

nwatson22 wants to merge 21 commits into

noah/atomic-steps

Commits on Feb 15, 2024

Separate logic for ImpliesProof and APRProof into self-contained steps which work with advance_proof loop
nwatson22
committed
61a3172
Merge 61a31724709329df06fefef5d2a42b2fe03451e9 into d7b05c1de94620720ab4891008f483d279ab237b
nwatson22
authored
5412c5e
Set Version: 0.1.628
rv-auditor
committed
fbe0eb7
Fix nodes being checked for terminal before starting the next step
nwatson22
committed
adea081
Merge branch 'noah/atomic-steps' of https://github.com/runtimeverification/pyk into noah/atomic-steps
nwatson22
committed
8621acc
Fix subst not being set
nwatson22
committed
481d271

Commits on Feb 16, 2024

Fix max_iteration and fail_fast only executing between step groups
nwatson22
committed
4f08787
Clean up
nwatson22
committed
ec0c7ae
Clean up
nwatson22
committed
9626c12
Clean up
nwatson22
committed
0f6258a
Merge master into branch
nwatson22
committed
adf59d2
Merge adf59d2000c24381604c467eac6e1c5fca35eb3e into 8bec235cf7356a844066d44279f7070e4a2ca13a
nwatson22
authored
13c15d8
Set Version: 0.1.630
rv-auditor
committed
883fbc2
Fix proof data not being writen and failure info not being saved at the proper time
nwatson22
committed
e445d45
Merge branch 'noah/atomic-steps' of https://github.com/runtimeverification/pyk into noah/atomic-steps
nwatson22
committed
f38ad6b
Fix write_proof not being called at the correct time
nwatson22
committed
4325aad
Merge master into branch
nwatson22
committed
97f3e4e
Merge 97f3e4ef108f6fb6c00da29ab9aeb8ec2b3edb48 into 02ec6eb1d39f126633f10e69b07f2661e05feb8d
nwatson22
authored
0772327
Set Version: 0.1.632
rv-auditor
committed
4b74439

Commits on Feb 20, 2024