From: Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
Date: Tue, 9 Oct 2012 04:12:03 +0000 (-0400)
Subject: Revert "ticketlock model: state-space simplication"
X-Git-Url: https://git.liburcu.org/?a=commitdiff_plain;h=7ecea09ec7dfbfd9ad1db25f217b85abd89664d0;hp=7ecea09ec7dfbfd9ad1db25f217b85abd89664d0;p=urcu.git

Revert "ticketlock model: state-space simplication"

This reverts commit d149fa02aaafa08c2d02712afd3cbbbc5f8d5f67.

Need to study impact on progress.

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
---