1. 50d0ac2 Simplified transfer function logic for ++/-- operators. by Ted Kremenek · 17 years ago
  2. 45c63bd Fixed bit-setting bug for ExplodedNodeImpl::NodeGroup. by Ted Kremenek · 17 years ago
  3. 160760e Fixed iterator bug in ExplodedNodeImpl::NodeGroup::end(); we would improperly by Ted Kremenek · 17 years ago
  4. a5a1ef4 Fixed bug in cleanup of nodes in ExplodedNodeImpl where we should directly by Ted Kremenek · 17 years ago
  5. d880c18 Moved destructor logic of templated class ExplodedGraph to non-templated by Ted Kremenek · 17 years ago
  6. 9eb49a4 Created ExplodedGraph.cpp and moved most method implementations of by Ted Kremenek · 17 years ago