summaryrefslogtreecommitdiffstats
path: root/lib/Analysis/RangeConstraintManager.cpp
Commit message (Expand)AuthorAgeFilesLines
* Remove uses of std::ostream from libAnalysis.Ted Kremenek2009-06-241-4/+4
* Remove GRStateManager& field from SimpleConstraintManager.Ted Kremenek2009-06-181-5/+3
* libAnalysis:Ted Kremenek2009-06-181-9/+8
* Remove more uses of GRStateRef.Ted Kremenek2009-06-171-14/+12
* Tweak pretty-printing of constraints.Ted Kremenek2009-04-211-1/+1
* Rename lib/Driver (etc) to lib/Frontend in prep for the *actual*Daniel Dunbar2009-03-021-1/+1
* Revise comment. Comparing pointer values in 'Range' wasn't the performance is...Ted Kremenek2009-02-181-5/+3
* Fix performance bug in RangeConstraintManager (that I introduced):Ted Kremenek2009-02-181-9/+23
* Revised RangeConstraintManager based on several discussions with Ben Laurie andTed Kremenek2009-02-171-519/+180
* Add pretty-printing (for GraphViz) support for RangeConstraintManager.Ted Kremenek2009-02-161-36/+8
* Do not register 'RangeConstraintManager' as the default ConstraintManager.Ted Kremenek2009-02-161-2/+0
* Patch by Ben Laurie:Ted Kremenek2009-02-141-0/+720