From: Mathieu Desnoyers Date: Tue, 19 May 2009 22:11:12 +0000 (-0400) Subject: Document update in urcu.spin header X-Git-Tag: v0.1~215 X-Git-Url: https://git.liburcu.org/?p=urcu.git;a=commitdiff_plain;h=a60dadc52fed020644e44b346c438a3ccd3a5026 Document update in urcu.spin header Signed-off-by: Mathieu Desnoyers --- diff --git a/formal-model/urcu-controldataflow/urcu.spin b/formal-model/urcu-controldataflow/urcu.spin index f9341b4..5c377f7 100644 --- a/formal-model/urcu-controldataflow/urcu.spin +++ b/formal-model/urcu-controldataflow/urcu.spin @@ -1,5 +1,6 @@ /* - * mem.spin: Promela code to validate memory barriers with OOO memory. + * mem.spin: Promela code to validate memory barriers with OOO memory + * and out-of-order instruction scheduling. * * This program is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by