aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/SimpleConstraintManager.h
AgeCommit message (Expand)Author
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