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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits