From: Brian Norris <banorris@uci.edu>
Date: Thu, 6 Dec 2012 19:51:15 +0000 (-0800)
Subject: notes: fence: rename variables to match spec better
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=e2f5717157e95f769e00c6638f8fc20405a34ec2;hp=e2f5717157e95f769e00c6638f8fc20405a34ec2

notes: fence: rename variables to match spec better

Originally, I purposely renamed these since I needed to introduce more
variables than were in the spec. But it turns out I can make this match
the spec pretty well.

Now: A, B, X, and Y fulfill the same roles as in the original C++
specification statements. I only introduce my new variable as W, when
needed. This also makes sense because W is a Write.

Also, I delete an extraneous paragraph that duplicated a piece of the
spec.
---