Age | Commit message (Expand) | Author |
---|---|---|
2009-06-24 | Remove uses of std::ostream from libAnalysis. | Ted Kremenek |
2009-06-18 | Remove GRStateManager& field from SimpleConstraintManager. | Ted Kremenek |
2009-06-18 | libAnalysis: | Ted Kremenek |
2009-06-17 | Remove more uses of GRStateRef. | Ted Kremenek |
2009-04-21 | Tweak pretty-printing of constraints. | Ted Kremenek |
2009-03-02 | Rename lib/Driver (etc) to lib/Frontend in prep for the *actual* | Daniel Dunbar |
2009-02-18 | Revise comment. Comparing pointer values in 'Range' wasn't the performance is... | Ted Kremenek |
2009-02-18 | Fix performance bug in RangeConstraintManager (that I introduced): | Ted Kremenek |
2009-02-17 | Revised RangeConstraintManager based on several discussions with Ben Laurie and | Ted Kremenek |
2009-02-16 | Add pretty-printing (for GraphViz) support for RangeConstraintManager. | Ted Kremenek |
2009-02-16 | Do not register 'RangeConstraintManager' as the default ConstraintManager. | Ted Kremenek |
2009-02-14 | Patch by Ben Laurie: | Ted Kremenek |