From 528f5f249ef54482bce37b3745bc47e75f8485be Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Mon, 30 Sep 2013 19:19:27 +0200 Subject: [PATCH] cosmetics --- NEWS | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/NEWS b/NEWS index 2c2a4660f2..c658b016a3 100644 --- a/NEWS +++ b/NEWS @@ -10,9 +10,8 @@ The "to be named" release. Major changes: * Java is back in the main package (and is very stable). * The storage sub-modules is now believed to be usable. * SMPI is now very stable (we pass most MPICH tests). - * Model-Checking : - - Verification of liveness properties is now available for SMPI applications - - New reduction of the state space based on the storage of visited states. + * Verification and model checking further improved: + liveness+SMPI works; reduction through state equality detection Plus the usual load of bug fixes and small improvements _ _____ ___ -- 2.20.1