From: Brian Norris <banorris@uci.edu>
Date: Wed, 16 Jan 2013 07:57:45 +0000 (-0800)
Subject: litmus: iriw: use release/acquire, not release/relaxed
X-Git-Tag: oopsla2013~357
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=1b0df15c23ebf67b7737021312dbb14bf442daba;hp=1b0df15c23ebf67b7737021312dbb14bf442daba;p=model-checker.git

litmus: iriw: use release/acquire, not release/relaxed
---