projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e2f5717) | patch
notes: fence: replace variables to match 29.8
authorBrian Norris <banorris@uci.edu>
Thu, 6 Dec 2012 20:13:25 +0000 (12:13 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 6 Dec 2012 20:13:25 +0000 (12:13 -0800)
commitb11f506f3f54562662bb0d790bcd5afd898d48ac
tree4983c4db73e3fcb3c89deb6e9463c1c4146438e3tree | snapshot
parente2f5717157e95f769e00c6638f8fc20405a34ec2commit | diff
notes: fence: replace variables to match 29.8

I had some remaining edits to do for my notes 29.8, to match back with
the specification's variables (X, Y, A, B).
doc/notes/fence.txt diff | blob | history
C++11 memory model checker