granicus.if.org Git - clang/commit

]> granicus.if.org Git - clang/commit

author	Dominic Chen <d.c.ddcc@gmail.com>
	Tue, 4 Apr 2017 19:52:25 +0000 (19:52 +0000)
committer	Dominic Chen <d.c.ddcc@gmail.com>
	Tue, 4 Apr 2017 19:52:25 +0000 (19:52 +0000)
commit	fe95f3ca3634529cecfe3dddb88095c273e36722
tree	aada8dbed7495102a2599e91fc01fb36cf8fbe80	tree \| snapshot
parent	a64aac47da8b3bf66b2fd3cf973508a8ce7d23a8	commit \| diff

[analyzer] Add new Z3 constraint manager backend

Summary: Implement new Z3 constraint manager backend.

Reviewers: zaks.anna, dcoughlin, NoQ, xazax.hun

Subscribers: mgorny, cfe-commits

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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@299463 91177308-0d34-0410-b5e6-96231b3b80d8

12 files changed:

CMakeLists.txt		diff \| blob \| history
cmake/modules/FindZ3.cmake	[new file with mode: 0644]	blob
include/clang/Config/config.h.cmake		diff \| blob \| history
include/clang/StaticAnalyzer/Core/Analyses.def		diff \| blob \| history
include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h		diff \| blob \| history
lib/StaticAnalyzer/Core/CMakeLists.txt		diff \| blob \| history
lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp	[new file with mode: 0644]	blob
test/Analysis/expr-inspection.c		diff \| blob \| history
test/Analysis/lit.local.cfg		diff \| blob \| history
test/Analysis/unsupported-types.c	[new file with mode: 0644]	blob
test/lit.cfg		diff \| blob \| history
test/lit.site.cfg.in		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom