index
:
bcm5719-llvm
meklort-10.0.0
meklort-10.0.1
ortega-7.0.1
Project Ortega BCM5719 LLVM
Raptor Computing Systems
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
clang
/
lib
/
StaticAnalyzer
/
Core
/
SimpleConstraintManager.h
Commit message (
Expand
)
Author
Age
Files
Lines
*
Revert r240270 ("Fixed/added namespace ending comments using clang-tidy").
Alexander Kornienko
2015-06-22
1
-2
/
+2
*
Fixed/added namespace ending comments using clang-tidy. NFC
Alexander Kornienko
2015-06-22
1
-2
/
+2
*
Use 'override/final' instead of 'virtual' for overridden methods
Alexander Kornienko
2015-04-11
1
-1
/
+1
*
Header guard canonicalization, clang part.
Benjamin Kramer
2014-08-13
1
-2
/
+2
*
[C++11] Add 'override' keyword to virtual methods that override their base cl...
Craig Topper
2014-03-15
1
-2
/
+2
*
[analyzer] Add support for testing the presence of weak functions.
Jordan Rose
2013-08-28
1
-6
/
+0
*
[analyzer] Translate "a != b" to "(b - a) != 0" in the constraint manager.
Jordan Rose
2013-03-23
1
-4
/
+5
*
[analyzer] Make ProgramStateManager's SubEngine parameter optional.
Jordan Rose
2012-10-01
1
-2
/
+2
*
[analyzer] Rework both constraint managers to handle mixed-type comparisons.
Jordy Rose
2012-05-08
1
-1
/
+5
*
Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.
Ted Kremenek
2012-01-26
1
-13
/
+13
*
[analyzer] Mark ConstraintManager::canReasonAbout as protected.
Anna Zaks
2011-12-05
1
-2
/
+2
*
[analyzer] First step toward removing
Anna Zaks
2011-12-05
1
-2
/
+10
*
Rename GRState to ProgramState, and cleanup some code formatting along the way.
Ted Kremenek
2011-08-15
1
-13
/
+13
*
Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...
Ted Kremenek
2011-02-10
1
-2
/
+2
*
[analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core.
Argyrios Kyrtzidis
2011-02-08
1
-0
/
+93