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