[PATCH] D54978: Move the SMT API to LLVM
Mikhail Ramalho via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Mon Mar 25 07:24:08 PDT 2019
mikhail.ramalho added a comment.
> ! In D54978#1440464 <https://reviews.llvm.org/D54978#1440464>, @ddcc wrote:
>
> Do you know if this configuration builds fine now?
It's working fine now, I'll push it later today.
> ! In D54978#1441355 <https://reviews.llvm.org/D54978#1441355>, @gou4shi1 wrote:
>
> Can you plz add some wrappers of overflow predicates like Z3_mk_bvadd_no_overflow, Z3_mk_bvadd_no_underflow, ... to SMTAPI.h and Z3Solver.cpp?
> It could help me, thanks!
Sure, I'll create a new revision with the added functions tonight.
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D54978/new/
https://reviews.llvm.org/D54978
More information about the llvm-commits
mailing list