projects / c11tester.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 60ac536)
model: add seq-cst fence rules
authorBrian Norris <banorris@uci.edu>
Tue, 4 Dec 2012 00:17:08 +0000 (16:17 -0800)
committerBrian Norris <banorris@uci.edu>
Tue, 4 Dec 2012 00:17:08 +0000 (16:17 -0800)
Add mo_graph constraints, from statements 4-6 in C++ Section 29.3. There
are probably more constraints we can choose for building may-read-from /
future values.


No differences found
C11 Tester Tool Public Repository