From: Brian Norris <banorris@uci.edu>
Date: Tue, 4 Dec 2012 00:43:19 +0000 (-0800)
Subject: action: record last fence release from the current thread
X-Git-Tag: oopsla2013~480
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=9bbf98ac065e34fc1c35538328d02d51e74ccc0f;hp=9bbf98ac065e34fc1c35538328d02d51e74ccc0f;p=model-checker.git

action: record last fence release from the current thread
---