Optimize how we run proofs with booster - #2571

Closed

ehildenb wants to merge 9 commits into

optimize-proofs

Commits on Aug 9, 2024

tests/specs/examples: replace symbol(), klabel(X) with symbol(X)
ehildenb
committed
9fbf4e9
kevm_pyk/test_prove: optimize how we run the proofs
ehildenb
committed
0cb068f
kevm_pyk/{cli,utils}: set defaults for CLI to fastest options too
ehildenb
committed
f350719
Set Version: 1.0.678
rv-auditor
committed
43dde61
kevm_pyk/utils: correct imports
ehildenb
committed
d5e28ac
kevm_pyk/{utils,cli,__main__}: only pass fallback reasons for booster executions
ehildenb
committed
bd2958f
kevm_pyk/__main__: make sure not to set --no-post-exec-simplify for non-booster executions
ehildenb
committed
bb3c11b
kevm_pyk/test_prove: remove options which now have default handling
ehildenb
committed
2205c68

Commits on Aug 12, 2024

Merge branch 'master' into optimize-proofs
anvacaru
authored
f6477eb