Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclang... | Argyrios Kyrtzidis | 2010-12-22 | 1 | -89/+0 |
* | [analyzer] Refactoring: include/clang/Checker -> include/clang/GR | Argyrios Kyrtzidis | 2010-12-22 | 1 | -2/+2 |
* | Rename all 'AssumeXXX' methods in libChecker | Ted Kremenek | 2010-12-01 | 1 | -12/+12 |
* | - Allow making ElementRegions with complex offsets (expressions or symbols) f... | Jordy Rose | 2010-08-16 | 1 | -4/+0 |
* | Fold additive constants, and support comparsions of the form $sym+const1 <> c... | Jordy Rose | 2010-06-18 | 1 | -8/+18 |
* | Split libAnalysis into two libraries: libAnalysis and libChecker. | Ted Kremenek | 2010-01-25 | 1 | -0/+83 |