projects / model-checker.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 963f325)
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)
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.


No differences found
C++11 memory model checker