aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/SimpleConstraintManager.h
AgeCommit message (Expand)Author
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek
2010-01-05Remove references to 'Checker' and 'GRTransferFuncs' fromTed Kremenek
2009-09-11Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a wayTed Kremenek
2009-09-09Remove tabs, and whitespace cleanups.Mike Stump
2009-06-18Remove GRStateManager& field from SimpleConstraintManager.Ted Kremenek
2009-06-18libAnalysis:Ted Kremenek
2009-03-26analyzer infrastructure: make a bunch of changes to symbolic expressions thatTed Kremenek
2009-03-25This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, forZhongxing Xu
2009-03-11Added method "canReasonAbout" to ConstraintManager. This method returns true ifTed Kremenek
2009-02-15Remove accidental duplication of content in .h file.Ted Kremenek
2009-02-14Patch by Ben Laurie:Ted Kremenek