Move the SMT API to LLVM
Moved everything SMT-related to LLVM and updated the cmake scripts. Differential Revision: https://reviews.llvm.org/D54978 llvm-svn: 353373
Showing
- clang/CMakeLists.txt 1 addition, 26 deletionsclang/CMakeLists.txt
- clang/include/clang/Config/config.h.cmake 0 additions, 3 deletionsclang/include/clang/Config/config.h.cmake
- clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h 13 additions, 12 deletions.../StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h
- clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConv.h 120 additions, 107 deletions...include/clang/StaticAnalyzer/Core/PathSensitive/SMTConv.h
- clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp 2 additions, 2 deletionsclang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
- clang/lib/StaticAnalyzer/Core/CMakeLists.txt 1 addition, 15 deletionsclang/lib/StaticAnalyzer/Core/CMakeLists.txt
- clang/lib/StaticAnalyzer/Core/SMTConstraintManager.cpp 18 additions, 0 deletionsclang/lib/StaticAnalyzer/Core/SMTConstraintManager.cpp
- clang/test/CMakeLists.txt 1 addition, 1 deletionclang/test/CMakeLists.txt
- clang/test/lit.site.cfg.py.in 1 addition, 1 deletionclang/test/lit.site.cfg.py.in
- llvm/CMakeLists.txt 26 additions, 0 deletionsllvm/CMakeLists.txt
- llvm/cmake/modules/FindZ3.cmake 5 additions, 5 deletionsllvm/cmake/modules/FindZ3.cmake
- llvm/cmake/modules/LLVMConfig.cmake.in 2 additions, 0 deletionsllvm/cmake/modules/LLVMConfig.cmake.in
- llvm/include/llvm/Config/config.h.cmake 3 additions, 0 deletionsllvm/include/llvm/Config/config.h.cmake
- llvm/include/llvm/Support/SMTAPI.h 8 additions, 7 deletionsllvm/include/llvm/Support/SMTAPI.h
- llvm/lib/Support/CMakeLists.txt 16 additions, 1 deletionllvm/lib/Support/CMakeLists.txt
- llvm/lib/Support/Z3Solver.cpp 10 additions, 19 deletionsllvm/lib/Support/Z3Solver.cpp
Loading
Please register or sign in to comment