projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cc2acca) | patch
impatomic: add atomic_{thread,signal}_fence() definitions
authorBrian Norris <banorris@uci.edu>
Fri, 30 Nov 2012 23:05:44 +0000 (15:05 -0800)
committerBrian Norris <banorris@uci.edu>
Fri, 30 Nov 2012 23:18:26 +0000 (15:18 -0800)
commitf3ad375fcfeb5e6d091029f15112f9d713f522d0
treed0085b7705808a8a557de39210bf5a15c6e4b32etree | snapshot
parentcc2accafaceffae9593b64b9f526d6c8d6239bd4commit | diff
impatomic: add atomic_{thread,signal}_fence() definitions

The impatomic.h header is outdated. Additional information from the ISO
papers N2633, N2731, and N2752 have limited the "fence()" support to
just these two functions.
include/impatomic.h diff | blob | history
C++11 memory model checker