b4872157b9a3f676006ab1f7c2e920d4527f3dd9 - llvm-project/clang

commit: b4872157b9a3f676006ab1f7c2e920d4527f3dd9
[log]
author: Mikhail R. Gadelha <mikhail.ramalho@gmail.com>
Thu Feb 07 03:19:45 2019 +0000
committer: Copybara-Service <copybara-worker@google.com>
Mon Sep 21 05:47:57 2020 -0700
tree: eac49dc34979837aad969648f829bcfefffbf00a
parent: b4bd5568c86c992aedfedeecf1ebdcd7cba1e12c [diff]

Move the SMT API to LLVM

Moved everything SMT-related to LLVM and updated the cmake scripts.

Differential Revision: https://reviews.llvm.org/D54978

llvm-svn: 353373
GitOrigin-RevId: eac500f0c340c00308039fdf5d9deaf3953fccd0

12 files changed

tree: eac49dc34979837aad969648f829bcfefffbf00a