aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/BasicConstraintManager.cpp
AgeCommit message (Expand)Author
2010-12-01Rename all 'AssumeXXX' methods in libCheckerTed Kremenek
2010-11-24Adjust method calls to reflect name changes inTed Kremenek
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