projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f47ffb5) | patch
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)
commit60ac5360eee87e572b9dd445f8837280213b0382
tree9acace9cd389dd356ca223a3e4fa02e40d78d14dtree | snapshot
parentf47ffb576e8ff886cb4ee7a1feaf31b3137a975acommit | diff
model: add seq-cst fence rules

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.
model.cc diff | blob | history
C11 Tester Tool Public Repository