Skip to content

Close memory, stack, interface, and Exp equivalence proof obligations - #43

Open
eliasjudin wants to merge 10 commits into
runtimeverification:masterfrom
eliasjudin:fill-step-gascostvalue-equivalence
Open

Close memory, stack, interface, and Exp equivalence proof obligations#43
eliasjudin wants to merge 10 commits into
runtimeverification:masterfrom
eliasjudin:fill-step-gascostvalue-equivalence

EXP: salvage Aristotle powmod representation and poststate proof

d7cfb2a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs