projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 90342c1) | patch
cyclegraph: bugfix - pop edges properly
authorBrian Norris <banorris@uci.edu>
Tue, 5 Feb 2013 22:26:24 +0000 (14:26 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 6 Feb 2013 21:45:20 +0000 (13:45 -0800)
commitd7e26717ec76b225475afe69a463b6e21e026f26
tree668a2398557bea61302a394dcd5047697636cee3tree | snapshot
parent90342c146c207107ec0bf05cb70b2d7defbeaa3ecommit | diff
cyclegraph: bugfix - pop edges properly

Now that CycleNode's have back-edges, we need to properly remove *both*
the forward and back edges when doing roll-back.
cyclegraph.cc diff | blob | history
cyclegraph.h diff | blob | history
C++11 memory model checker