HomePhabricator

Move the SMT API to LLVM

Description

Move the SMT API to LLVM

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

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

Details

Committed
mramalhoFeb 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
Unknown