[PATCH] D54978: Move the SMT API to LLVM

Fri Feb 8 10:42:57 PST 2019

brzycki added a comment.

In D54978#1390698 <https://reviews.llvm.org/D54978#1390698>, @thakis wrote:

> Thanks for the analysis. I think it's fine if you revert, given that.

I'm running in to conflict dependency issues when attempting to revert rL353373 <https://reviews.llvm.org/rL353373>. There is at least one other conflicting commit rL353465 <https://reviews.llvm.org/rL353465> on top of this code already.

I don't feel comfortable reverting 2+ patches in a sub-section of the code I know little about on a Friday afternoon. :)

Repository:
  rC Clang

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

https://reviews.llvm.org/D54978