projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4da2859) | patch
cyclegraph: return 'added' status for addEdge()
authorBrian Norris <banorris@uci.edu>
Tue, 5 Feb 2013 21:44:32 +0000 (13:44 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 6 Feb 2013 21:44:39 +0000 (13:44 -0800)
commit62dbff8dbca80ded5959e88ec9c177bef9108546
treeecb783e09255a4a899a4e31ae1d053453ab34a1btree | snapshot
parent4da2859902f1096053a2d9857df502d3bb94e6e4commit | diff
cyclegraph: return 'added' status for addEdge()

The ModelChecker would like to know if it's adding a new edge, or just
and existing edge. If the edge is not new, then there are fewer
resulting update checks needed.
cyclegraph.cc diff | blob | history
cyclegraph.h diff | blob | history
C++11 memory model checker