[PATCH] D54978: Move the SMT API to LLVM
Dominic Chen via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Fri Mar 15 19:40:43 PDT 2019
ddcc added a comment.
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.
CHANGES SINCE LAST ACTION
More information about the cfe-commits