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