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

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

eliasjudin wants to merge 10 commits into

runtimeverification:masterruntimeverification/evm-equivalence:masterfrom

eliasjudin:fill-step-gascostvalue-equivalenceeliasjudin/evm-equivalence:fill-step-gascostvalue-equivalenceCopy head branch name to clipboard