1. efb4bd0 Use back() instead of end()-1 by Argiris Kirtzidis · 16 years ago
  2. d1b6ef6 Fix improper dereference of end() iterator. Patch by Argiris Kirtzidis! by Ted Kremenek · 16 years ago
  3. 31aeb1e In ExplodedGraphImpl::Trim, prioritize for paths that don't span loops by using by Ted Kremenek · 16 years ago
  4. be1a7a0 Make a major restructuring of the clang tree: introduce a top-level by Chris Lattner · 17 years ago[Renamed from Analysis/ExplodedGraph.cpp]
  5. 83f04aa Improved ExplodedGraph::Trim to only show nodes reachable from a reverse BFS by Ted Kremenek · 17 years ago
  6. 5e1e05c Added --trim-path-graph to the driver to trim paths from the ExplodedGraph by Ted Kremenek · 17 years ago
  7. 399e901 Fixed a horribly insidious bit-masking bug in the implementation of by Ted Kremenek · 17 years ago
  8. 547e77f Fixed subtle caching bug in ExplodedGraph that would cause some nodes to by Ted Kremenek · 17 years ago
  9. 22640ce Simplified transfer function logic for ++/-- operators. by Ted Kremenek · 17 years ago
  10. 4ecd9bb Fixed bit-setting bug for ExplodedNodeImpl::NodeGroup. by Ted Kremenek · 17 years ago
  11. c0f1aae Fixed iterator bug in ExplodedNodeImpl::NodeGroup::end(); we would improperly by Ted Kremenek · 17 years ago
  12. 5dd6c2d Fixed bug in cleanup of nodes in ExplodedNodeImpl where we should directly by Ted Kremenek · 17 years ago
  13. 811d430 Moved destructor logic of templated class ExplodedGraph to non-templated by Ted Kremenek · 17 years ago
  14. f7c3bec Created ExplodedGraph.cpp and moved most method implementations of by Ted Kremenek · 17 years ago