[PATCH] D54978: Move the SMT API to LLVM

[Mikhail Ramalho via Phabricator via llvm-commits]

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
  https://reviews.llvm.org/D54978/new/

https://reviews.llvm.org/D54978