projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fc67176) | 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)
commitdb695c834f2caa818637b4d81a3c08c9c9abfd05
tree21742997947c5a9c1e589c3685703e02d6cd5573tree | snapshot
parentfc67176eec7e603f786854850104cd750385393fcommit | diff
Moved everything SMT-related to LLVM and updated the cmake scripts.

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

llvm-svn: 356929
19 files changed:
clang/CMakeLists.txt diff | blob | history
clang/cmake/modules/FindZ3.cmake diff | blob | history
clang/include/clang/Config/config.h.cmake diff | blob | history
clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTAPI.h [deleted file] blob | history
clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h diff | blob | history
clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConv.h diff | blob | history
clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp diff | blob | history
clang/lib/StaticAnalyzer/Core/CMakeLists.txt diff | blob | history
clang/lib/StaticAnalyzer/Core/SMTConstraintManager.cpp [new file with mode: 0644] blob
clang/lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp [deleted file] blob | history
clang/test/CMakeLists.txt diff | blob | history
clang/test/lit.site.cfg.py.in diff | blob | history
llvm/CMakeLists.txt diff | blob | history
llvm/cmake/modules/FindZ3.cmake [new file with mode: 0644] blob
llvm/cmake/modules/LLVMConfig.cmake.in diff | blob | history
llvm/include/llvm/Config/config.h.cmake diff | blob | history
llvm/include/llvm/Support/SMTAPI.h [new file with mode: 0644] blob
llvm/lib/Support/CMakeLists.txt diff | blob | history
llvm/lib/Support/Z3Solver.cpp [new file with mode: 0644] blob
Domain: System / Toolchain;