summaryrefslogtreecommitdiffstats
path: root/lib/Analysis/SimpleConstraintManager.h
Commit message (Expand)AuthorAgeFilesLines
* Remove GRStateManager& field from SimpleConstraintManager.Ted Kremenek2009-06-181-19/+7
* libAnalysis:Ted Kremenek2009-06-181-35/+43
* analyzer infrastructure: make a bunch of changes to symbolic expressions thatTed Kremenek2009-03-261-1/+1
* This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, forZhongxing Xu2009-03-251-0/+1
* Added method "canReasonAbout" to ConstraintManager. This method returns true ifTed Kremenek2009-03-111-0/+3
* Remove accidental duplication of content in .h file.Ted Kremenek2009-02-151-81/+1
* Patch by Ben Laurie:Ted Kremenek2009-02-141-0/+160