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

Forked smt#2380

Open

msaxena2 wants to merge 2 commits intomasterfrom forked-smt

+26-7

Commits on Dec 18, 2017

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

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

bmmoore
authored and
msaxena2
committed