index
:
clang/clang.git
release_50-based
release_60-based
release_70-based
release_80-based
upstream/google/stable
upstream/google/testing
upstream/master
upstream/release_26
upstream/release_27
upstream/release_28
upstream/release_29
upstream/release_30
upstream/release_31
upstream/release_32
upstream/release_33
upstream/release_34
upstream/release_35
upstream/release_35@215011
upstream/release_36
upstream/release_37
upstream/release_38
upstream/release_39
upstream/release_40
upstream/release_50
upstream/release_60
upstream/release_70
upstream/release_80
upstream/release_90
wip/pending-upstream
(deprecated) Vendor branches of https://git.llvm.org/git/clang.git , use clang/llvm-project instead.
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
lib
/
StaticAnalyzer
/
Core
/
Z3ConstraintManager.cpp
Commit message (
Expand
)
Author
Age
Files
Lines
*
Moved everything SMT-related to LLVM and updated the cmake scripts.
Mikhail R. Gadelha
2019-03-25
1
-835
/
+0
*
Add missing override specifier [NFC]
Aaron Puchert
2019-03-15
1
-1
/
+1
*
This reverts commit 1440a848a635849b97f7a5cfa0ecc40d37451f5b.
Mikhail R. Gadelha
2019-02-09
1
-0
/
+835
*
Move the SMT API to LLVM
Mikhail R. Gadelha
2019-02-07
1
-835
/
+0
*
Got rid of the `Z3ConstraintManager` class
Mikhail R. Gadelha
2019-02-07
1
-16
/
+1
*
Generalised the SMT state constraints
Mikhail R. Gadelha
2019-02-07
1
-26
/
+36
*
Update the file headers across all of the LLVM projects in the monorepo
Chandler Carruth
2019-01-19
1
-4
/
+3
*
[analyzer] Cleanup constructors in the Z3 backend
Mikhail R. Gadelha
2018-11-28
1
-96
/
+31
*
Fix compatibility with z3-4.8.1
Jan Kratochvil
2018-11-12
1
-1
/
+1
*
[analyzer] Move canReasonAbout from Z3ConstraintManager to SMTConstraintManager
Mikhail R. Gadelha
2018-10-25
1
-43
/
+2
*
[analyzer] Fixed bitvector from model always being unsigned
Mikhail R. Gadelha
2018-10-25
1
-3
/
+5
*
[analyzer] Improved cmake configuration for Z3
Enrico Steffinlongo
2018-10-13
1
-2
/
+2
*
[analyzer] Small SMT API improvement
Enrico Steffinlongo
2018-10-13
1
-1
/
+1
*
[analyzer] Improvements to the SMT API
Mikhail R. Gadelha
2018-10-02
1
-34
/
+4
*
[analyzer] Moved all CSA code from the SMT API to a new header, `SMTConv.h`. ...
Mikhail R. Gadelha
2018-08-23
1
-12
/
+4
*
[analyzer] Templatefy SMTConstraintManager so more generic code can be moved ...
Mikhail R. Gadelha
2018-08-23
1
-58
/
+1
*
[analyzer] Delete SMTContext. NFC.
Mikhail R. Gadelha
2018-08-23
1
-3
/
+2
*
[analyzer] Fixed method to get APSInt model
Mikhail R. Gadelha
2018-07-26
1
-23
/
+18
*
[analyzer] Update SMT API documentation and methods
Mikhail R. Gadelha
2018-07-25
1
-19
/
+13
*
[analyzer] Use the macro REGISTER_TRAIT_WITH_PROGRAMSTATE in the Z3 backend
Mikhail R. Gadelha
2018-07-25
1
-22
/
+7
*
[analyzer] Removed API used by the Refutation Manager from SMTConstraintManag...
Mikhail R. Gadelha
2018-07-25
1
-1
/
+12
*
[analyzer] Moved non solver specific code from Z3ConstraintManager to SMTCons...
Mikhail R. Gadelha
2018-07-25
1
-765
/
+72
*
[analyzer] Implemented SMT generic API
Mikhail R. Gadelha
2018-07-25
1
-545
/
+569
*
[analyzer] Create generic SMT Expr class
Mikhail R. Gadelha
2018-07-25
1
-53
/
+44
*
[analyzer] Create generic SMT Sort Class
Mikhail R. Gadelha
2018-07-25
1
-25
/
+29
*
[analyzer] Moved static Context to class member
Mikhail R. Gadelha
2018-07-25
1
-450
/
+471
*
[analyzer] Create generic SMT Context class
Mikhail R. Gadelha
2018-07-25
1
-6
/
+10
*
[analyzer] Fix Z3 backend after D48205
Mikhail R. Gadelha
2018-07-17
1
-30
/
+29
*
[analyzer] Fix the Z3 backend always generating unsigned APSInt
Mikhail R. Gadelha
2018-07-16
1
-3
/
+5
*
[analyzer] Fix wrong comparison generation of the ranges generated by the ref...
Mikhail R. Gadelha
2018-06-28
1
-3
/
+2
*
[analyzer] Optimize constraint generation when the range is a concrete value
Mikhail R. Gadelha
2018-06-20
1
-52
/
+47
*
[analyzer] Add method to the generic SMT API to dump the SMT formula
Mikhail R. Gadelha
2018-06-16
1
-0
/
+7
*
[Analyzer] Fix Z3ConstraintManager crash (PR37646)
Vlad Tsyrklevich
2018-06-06
1
-2
/
+4
*
Created a tiny SMT interface and make Z3ConstraintManager implement it
Mikhail R. Gadelha
2018-06-04
1
-3
/
+58
*
[analyzer] fix bug with 1-bit APSInt types in Z3ConstraintManager
Dominic Chen
2018-05-31
1
-22
/
+50
*
Revert "[analyzer] Support generating and reasoning over more symbolic constr...
Dominic Chen
2017-07-12
1
-18
/
+9
*
[analyzer] Support generating and reasoning over more symbolic constraint types
Dominic Chen
2017-07-12
1
-9
/
+18
*
[analyzer] Add new Z3 constraint manager backend
Dominic Chen
2017-04-04
1
-0
/
+1618