projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a69e8af) | patch
model: fix - RMW cannot break release sequences
authorBrian Norris <banorris@uci.edu>
Fri, 19 Oct 2012 22:27:37 +0000 (15:27 -0700)
committerBrian Norris <banorris@uci.edu>
Fri, 19 Oct 2012 22:27:37 +0000 (15:27 -0700)
commit7f9eb951a3ee0443169dd21ddc914df4a04c9aab
tree10754b3e39cd411dab8108a2eb10dfb882e3043atree | snapshot
parenta69e8aff5040edf3c2448d401b69e2411723c557commit | diff
model: fix - RMW cannot break release sequences

I misinterpreted the spec's description of release sequences.
model.cc diff | blob | history
C11 Tester Tool Public Repository