projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7dddcdb) | patch
impatomic: rename all 'swap' to 'exchange'
authorBrian Norris <banorris@uci.edu>
Wed, 10 Oct 2012 00:55:31 +0000 (17:55 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 10 Oct 2012 00:55:31 +0000 (17:55 -0700)
commit1732a51f04b471f5019377c5860672fc3ada0088
tree0e0a2c34f788fa21c9b6e9ca20f0d1bb10a6a451tree | snapshot
parent7dddcdb767f02f9b0c470ac516b18ad91a35d43dcommit | diff
impatomic: rename all 'swap' to 'exchange'

n2427.html seems to have some very old definitions. I think this all
should be 'exchange', not 'swap'.

Note that there are other issues where we don't have the correct
function names available. But this fixes some of the problems.
include/impatomic.h diff | blob | history
C++11 memory model checker