projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5bd87a4) | patch
model: add read-write coherence for promise nodes
authorBrian Norris <banorris@uci.edu>
Thu, 7 Feb 2013 00:39:52 +0000 (16:39 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 7 Feb 2013 00:52:30 +0000 (16:52 -0800)
commite08fe0c24bc8d577e1487a3368c56d5a5244d66b
treecbbeb9a6b59c0758a7c9266d36f7895199ab8b41tree | snapshot
parent5bd87a4163897f385459b8744f3d6e322b9f5d3ecommit | diff
model: add read-write coherence for promise nodes

Promises must be ordered after any other loads from the same thread.
model.cc diff | blob | history
C11 Tester Tool Public Repository