From a60dadc52fed020644e44b346c438a3ccd3a5026 Mon Sep 17 00:00:00 2001 From: Mathieu Desnoyers Date: Tue, 19 May 2009 18:11:12 -0400 Subject: [PATCH] Document update in urcu.spin header Signed-off-by: Mathieu Desnoyers --- formal-model/urcu-controldataflow/urcu.spin | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 -- 2.34.1