projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dbee0c5) | patch
cyclegraph: change Promise nodes map
authorBrian Norris <banorris@uci.edu>
Tue, 26 Feb 2013 23:59:00 +0000 (15:59 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 27 Feb 2013 00:08:26 +0000 (16:08 -0800)
commit3510b440b186949cbc0760d369da6787f0def7ac
treec28be046e9ec4708b1fe84fdfad8e62499ac2991tree | snapshot
parentdbee0c57f6edff31aafb79d6e956f1408bbb8fb8commit | diff
cyclegraph: change Promise nodes map

Map from Promises to Nodes, not ModelAction (readers) to Nodes. This
will make it cleaner when more than one reader maps to the same promise
Node.
cyclegraph.cc diff | blob | history
cyclegraph.h diff | blob | history
model.cc diff | blob | history
C++11 memory model checker