[PATCH] D54978: Move the SMT API to LLVM
Mikhail Ramalho via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Fri Mar 15 20:13:09 PDT 2019
mikhail.ramalho added a comment.
In D54978#1431788 <https://reviews.llvm.org/D54978#1431788>, @ddcc wrote:
> The only relevant commit that I can find is https://github.com/Z3Prover/z3/commit/2cb4223979cc94e2ebc4e49a9e83adbdcd2b6979 , but it first landed in z3 4.6.0. It looks like it's specific to CMake though, so is it different if you use the python build? I haven't tried the CMake build.
Indeed, it seems to be cmake specific (even the commit message says that the python scripts were not changed).
CHANGES SINCE LAST ACTION
More information about the cfe-commits