From: Brian Norris <banorris@uci.edu>
Date: Wed, 10 Oct 2012 00:55:31 +0000 (-0700)
Subject: impatomic: rename all 'swap' to 'exchange'
X-Git-Tag: pldi2013~62^2~1
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=1732a51f04b471f5019377c5860672fc3ada0088;hp=1732a51f04b471f5019377c5860672fc3ada0088;p=model-checker.git

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.
---