Cleanups to specifications to enable modularity, re-provability#2451

Merged

rv-jenkins merged 22 commits intomasterfrom spec-cleanups

Jun 6, 2024

+80-218

Commits on Jun 1, 2024

kevm_pyk/__main__: do not launch KoreServer if a proof exists, is up to date, and passed already
ehildenb
committed
kevm-pyk/{utils,__main__}: allow only getting main proof, not dependencies, for view/show commands
ehildenb
committed
tests/specs/mcd: remove exit-code cell from specs
ehildenb
committed
tests/specs/benchmarks: remove exit-code from specs
ehildenb
committed
kevm-pyk/__main__: section-edge and prune commands do not consider claim dependencies
ehildenb
committed
kevm-pyk/__main__: no KCFG returned from section-edge
ehildenb
committed
tests/specs/mcd: remove more exit-code cells
ehildenb
committed
kevm-pyk/cli: section-edge already inherits RPCOptions, no need to repeat
ehildenb
committed
kevm-pyk/cli: make it so default is that booster is turned on, not off
ehildenb
committed
Set Version: 1.0.582
devops
committed
kevm-pyk/__main__: rename variables
ehildenb
committed
kevm-pyk/{utils,__main__}: remove step placing KSequence on k cell
ehildenb
committed

Commits on Jun 5, 2024

Commits on Jun 6, 2024