commit	db695c834f2caa818637b4d81a3c08c9c9abfd05	[log] [tgz]
author	Mikhail R. Gadelha <mikhail.ramalho@gmail.com>	Mon Mar 25 17:47:45 2019 +0000
committer	Mikhail R. Gadelha <mikhail.ramalho@gmail.com>	Mon Mar 25 17:47:45 2019 +0000
tree	21742997947c5a9c1e589c3685703e02d6cd5573
parent	fc67176eec7e603f786854850104cd750385393f [diff]

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

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

llvm-svn: 356929

clang/CMakeLists.txt[diff]
clang/cmake/modules/FindZ3.cmake[diff]
clang/include/clang/Config/config.h.cmake[diff]
clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h[diff]
clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConv.h[diff]
clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp[diff]
clang/lib/StaticAnalyzer/Core/CMakeLists.txt[diff]
clang/lib/StaticAnalyzer/Core/SMTConstraintManager.cpp[Added - diff]
clang/test/CMakeLists.txt[diff]
clang/test/lit.site.cfg.py.in[diff]
llvm/CMakeLists.txt[diff]
llvm/cmake/modules/FindZ3.cmake[Added - diff]
llvm/cmake/modules/LLVMConfig.cmake.in[diff]
llvm/include/llvm/Config/config.h.cmake[diff]
llvm/include/llvm/Support/SMTAPI.h[Renamed from clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTAPI.h - diff]
llvm/lib/Support/CMakeLists.txt[diff]
llvm/lib/Support/Z3Solver.cpp[Renamed from clang/lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp - diff]

17 files changed

tree: 21742997947c5a9c1e589c3685703e02d6cd5573

README.md

The LLVM Compiler Infrastructure

This directory and its subdirectories contain source code for LLVM, a toolkit for the construction of highly optimized compilers, optimizers, and runtime environments.