[PATCH] D54978: Move the SMT API to LLVM

guangqing.chen via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Mon Mar 25 06:32:01 PDT 2019

Previous message: [PATCH] D59750: Rename directory housing clang-include-fixer to be eponymous
Next message: [PATCH] D54978: Move the SMT API to LLVM
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

gou4shi1 added a comment.

@mikhail.ramalho

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!


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D54978/new/

https://reviews.llvm.org/D54978

Previous message: [PATCH] D59750: Rename directory housing clang-include-fixer to be eponymous
Next message: [PATCH] D54978: Move the SMT API to LLVM
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the cfe-commits mailing list