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
treec7c646167e8ee33e8f99bc368e8f2346d066cdb3
parent3510b440b186949cbc0760d369da6787f0def7ac
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
promise.h