projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 02d98b0) | patch
notes: fence: add release/acquire fence notes
authorBrian Norris <banorris@uci.edu>
Thu, 6 Dec 2012 00:41:17 +0000 (16:41 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 6 Dec 2012 00:41:17 +0000 (16:41 -0800)
commitac0295198cf64825a0cfe6e80f5a715ea6ccfc8e
treefcb1c5042e9aaa664d9642c4cdc77b4d066862dctree | snapshot
parent02d98b0950685cf746e6698e06c53fdfbd1a4e1ecommit | diff
notes: fence: add release/acquire fence notes

I remove the copied-and-pasted algorithm pseudocode, since I didn't feel
like it was necessary to tweak the pseudocode to include fences. I might
change my mind later.
doc/notes/fence.txt diff | blob | history
C++11 memory model checker