commit | 1684ef0300817436b447e917cb21e464978e967d | [log] [tgz] |
---|---|---|
author | Mikhail R. Gadelha <mikhail.ramalho@gmail.com> | Thu Feb 07 03:19:45 2019 +0000 |
committer | Mikhail R. Gadelha <mikhail.ramalho@gmail.com> | Thu Feb 07 03:19:45 2019 +0000 |
tree | eac49dc34979837aad969648f829bcfefffbf00a | |
parent | 4a37267fb4d3b15a8a7465afe4ba5e8ae9e46902 [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 git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@353373 91177308-0d34-0410-b5e6-96231b3b80d8