This repository has been archived by the owner on Feb 1, 2020. It is now read-only.

Smt changes for EVM verification.#2373

Open

bmmoore wants to merge 2 commits intokframework:masterfrom bmmoore:smt

+26-7

Commits on Nov 15, 2017

Give Z3 smt label to integer and operation to support ABI verification.
bmmoore
committed

Commits on Nov 17, 2017

Add (check-sat) to preprocess context before proving goal
bmmoore
committed