]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4a37267) | patch
Move the SMT API to LLVM
authorMikhail R. Gadelha <mikhail.ramalho@gmail.com>
Thu, 7 Feb 2019 03:19:45 +0000 (03:19 +0000)
committerMikhail R. Gadelha <mikhail.ramalho@gmail.com>
Thu, 7 Feb 2019 03:19:45 +0000 (03:19 +0000)
commit1684ef0300817436b447e917cb21e464978e967d
treeeac49dc34979837aad969648f829bcfefffbf00atree | snapshot
parent4a37267fb4d3b15a8a7465afe4ba5e8ae9e46902commit | 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
12 files changed:
CMakeLists.txt diff | blob | history
cmake/modules/FindZ3.cmake [deleted file] blob | history
include/clang/Config/config.h.cmake diff | blob | history
include/clang/StaticAnalyzer/Core/PathSensitive/SMTAPI.h [deleted file] blob | history
include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h diff | blob | history
include/clang/StaticAnalyzer/Core/PathSensitive/SMTConv.h diff | blob | history
lib/StaticAnalyzer/Core/BugReporterVisitors.cpp diff | blob | history
lib/StaticAnalyzer/Core/CMakeLists.txt diff | blob | history
lib/StaticAnalyzer/Core/SMTConstraintManager.cpp [new file with mode: 0644] blob
lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp [deleted file] blob | history
test/CMakeLists.txt diff | blob | history
test/lit.site.cfg.py.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.