From: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Date: Tue, 29 Sep 2009 20:36:20 +0000 (-0400)
Subject: Update formal model from local copy
X-Git-Tag: v0.1~1
X-Git-Url: http://git.liburcu.org/?a=commitdiff_plain;h=41e967af0a4bd23a88b87be39a6c7f7d68a9e2ca;hp=41e967af0a4bd23a88b87be39a6c7f7d68a9e2ca;p=urcu.git

Update formal model from local copy

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
---