summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/SimpleConstraintManager.h
Commit message (Expand)AuthorAgeFilesLines
* Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek2010-01-251-83/+0
* Remove references to 'Checker' and 'GRTransferFuncs' fromTed Kremenek2010-01-051-1/+2
* Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a wayTed Kremenek2009-09-111-2/+4
* Remove tabs, and whitespace cleanups.Mike Stump2009-09-091-9/+9
* 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
OpenPOWER on IntegriCloud