1. dd04ed6 Remove uses of std::ostream from libAnalysis. by Ted Kremenek · 16 years ago
  2. 393008f Remove GRStateManager& field from SimpleConstraintManager. by Ted Kremenek · 16 years ago
  3. 70970bf libAnalysis: by Ted Kremenek · 16 years ago
  4. 2a15c59 Remove more uses of GRStateRef. by Ted Kremenek · 16 years ago
  5. 472fbd9 Tweak pretty-printing of constraints. by Ted Kremenek · 17 years ago
  6. 68952de Rename lib/Driver (etc) to lib/Frontend in prep for the *actual* by Daniel Dunbar · 17 years ago
  7. 2f9faf4 Revise comment. Comparing pointer values in 'Range' wasn't the performance issue I thought it was, but it is still worth ordering Range objects by their APSInt values. by Ted Kremenek · 17 years ago
  8. ae67fa0 Fix performance bug in RangeConstraintManager (that I introduced): by Ted Kremenek · 17 years ago
  9. 74c4249 Revised RangeConstraintManager based on several discussions with Ben Laurie and by Ted Kremenek · 17 years ago
  10. 7aacaf0 Add pretty-printing (for GraphViz) support for RangeConstraintManager. by Ted Kremenek · 17 years ago
  11. a7cf76e Do not register 'RangeConstraintManager' as the default ConstraintManager. by Ted Kremenek · 17 years ago
  12. dd98483 Patch by Ben Laurie: by Ted Kremenek · 17 years ago