Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Rename lib/Driver (etc) to lib/Frontend in prep for the *actual* | Daniel Dunbar | 2009-03-02 | 1 | -1/+1 |
* | Revise comment. Comparing pointer values in 'Range' wasn't the performance is... | Ted Kremenek | 2009-02-18 | 1 | -5/+3 |
* | Fix performance bug in RangeConstraintManager (that I introduced): | Ted Kremenek | 2009-02-18 | 1 | -9/+23 |
* | Revised RangeConstraintManager based on several discussions with Ben Laurie and | Ted Kremenek | 2009-02-17 | 1 | -519/+180 |
* | Add pretty-printing (for GraphViz) support for RangeConstraintManager. | Ted Kremenek | 2009-02-16 | 1 | -36/+8 |
* | Do not register 'RangeConstraintManager' as the default ConstraintManager. | Ted Kremenek | 2009-02-16 | 1 | -2/+0 |
* | Patch by Ben Laurie: | Ted Kremenek | 2009-02-14 | 1 | -0/+720 |