[PATCH] D54978: Move the SMT API to LLVM
Brian Rzycki via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
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. :)
CHANGES SINCE LAST ACTION
More information about the cfe-commits