aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Checker/PathSensitive/ConstraintManager.h
AgeCommit message (Expand)Author
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-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek