Age | Commit 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-26 | Change 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 removing | Anna Zaks |
2011-08-15 | Rename GRState to ProgramState, and cleanup some code formatting along the way. | Ted Kremenek |
2011-02-10 | Split '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 |