aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/SimpleConstraintManager.h
AgeCommit message (Expand)Author
2013-03-23[analyzer] Translate "a != b" to "(b - a) != 0" in the constraint manager.Jordan Rose
2012-10-01[analyzer] Make ProgramStateManager's SubEngine parameter optional.Jordan Rose
2012-05-08[analyzer] Rework both constraint managers to handle mixed-type comparisons.Jordy Rose
2012-01-26Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek
2011-12-05[analyzer] Mark ConstraintManager::canReasonAbout as protected.Anna Zaks
2011-12-05[analyzer] First step toward removingAnna Zaks
2011-08-15Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek
2011-02-10Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek
2011-02-08[analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core.Argyrios Kyrtzidis