projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3510b44) | patch
model: bugfix - correct RR coherence for Promises
authorBrian Norris <banorris@uci.edu>
Wed, 27 Feb 2013 00:39:09 +0000 (16:39 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 27 Feb 2013 00:52:32 +0000 (16:52 -0800)
commit963f325c5b5df37487e17c3a05f4d15efabb8870
treec7c646167e8ee33e8f99bc368e8f2346d066cdb3tree | snapshot
parent3510b440b186949cbc0760d369da6787f0def7accommit | diff
model: bugfix - correct RR coherence for Promises

We should not skip a read just because it has an unresolved promises;
the CycleGraph can now support read-read coherence edges between any
combination of Promise and ModelAction.
model.cc diff | blob | history
promise.h diff | blob | history
C11 Tester Tool Public Repository