[PATCH] D54978: Move the SMT API to LLVM

[Roman Lebedev via Phabricator via cfe-commits]

lebedev.ri added subscribers: mehdi_amini, lebedev.ri.
lebedev.ri added a comment.

Looks like this (all all other related Z3 reviews - D54975 <https://reviews.llvm.org/D54975>, D54976 <https://reviews.llvm.org/D54976>, D54977 <https://reviews.llvm.org/D54977>) review has completely omitted
cfe-commits and llvm-commits lists during review, which means it was essentially not reviewed by the wider audience.


Repository:
  rC Clang

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

https://reviews.llvm.org/D54978