Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [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 |