aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/SimpleConstraintManager.h
AgeCommit 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/GRArgyrios Kyrtzidis
2010-12-01Rename all 'AssumeXXX' methods in libCheckerTed Kremenek
2010-08-16- Allow making ElementRegions with complex offsets (expressions or symbols) f...Jordy Rose
2010-06-18Fold additive constants, and support comparsions of the form $sym+const1 <> c...Jordy Rose
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek