Move the SMT API to LLVM
Moved everything SMT-related to LLVM and updated the cmake scripts.
Differential Revision: https://reviews.llvm.org/D54978
Description
Description
Details
Details
- Committed
mramalho Feb 6 2019, 7:19 PM - Differential Revision
- D54978: Move the SMT API to LLVM
- Parents
- rC353372: Moved the whole SMT API to a single file. NFC.
- Branches
- Unknown
- Tags