]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9943776) | patch
Moved everything SMT-related to LLVM and updated the cmake scripts.
authorMikhail R. Gadelha <mikhail.ramalho@gmail.com>
Mon, 25 Mar 2019 17:47:45 +0000 (17:47 +0000)
committerMikhail R. Gadelha <mikhail.ramalho@gmail.com>
Mon, 25 Mar 2019 17:47:45 +0000 (17:47 +0000)
commit698feb0c19a24c686c6c9c623452ee6a635b6b6b
treed400952406e790d6587b93e7903192395c584335tree | snapshot
parent994377621ed23aa675c45c089a49e5522ebaac2ecommit | diff
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@356929 91177308-0d34-0410-b5e6-96231b3b80d8
12 files changed:
CMakeLists.txt diff | blob | history
cmake/modules/FindZ3.cmake diff | 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.