X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=doc%2Fnotes%2Ffence.txt;h=c6c2d4b1a58d80c1bc945b8d13e3b7c1eece973c;hb=02d98b0950685cf746e6698e06c53fdfbd1a4e1e;hp=190708ceaf3add5cf660077f5f0ead4ccf7694ed;hpb=f6ce9f8de3aea5cd500202b245f3736d81479243;p=model-checker.git

diff --git a/doc/notes/fence.txt b/doc/notes/fence.txt
index 190708c..c6c2d4b 100644
--- a/doc/notes/fence.txt
+++ b/doc/notes/fence.txt
@@ -2,12 +2,10 @@
  Fence support:
 -------------------------------------------------------------------------------
 
-[refer to release sequence notes for some definitions and similar (but simpler)
-algorithm]
-
 Fences provide a few new modification order constraints as well as an
 interesting extension to release sequences, detailed in 29.3 (p4-p7) and 29.8
-(p2-p4).
+(p2-p4). The specifications are pasted here in Appendix A and are applied to our
+model-checker in these notes.
 
 Section 29.3 details the modification order constraints established by
 sequentially-consistent fences.
@@ -169,9 +167,9 @@ Cases:
 * else, rf is relaxed write (NOT RMW)
   - check same thread
 
-**************************************
- From the C++11 specification (N3337)
-**************************************
+**************************************************
+ Appendix A: From the C++11 specification (N3337)
+**************************************************
 
 -------------
 Section 29.3