From: Brian Norris <banorris@uci.edu>
Date: Tue, 4 Dec 2012 00:17:08 +0000 (-0800)
Subject: model: add seq-cst fence rules
X-Git-Tag: oopsla2013~482
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=60ac5360eee87e572b9dd445f8837280213b0382;hp=60ac5360eee87e572b9dd445f8837280213b0382;p=model-checker.git

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.
---