From: Arnaud Giersch Date: Mon, 4 Nov 2013 20:59:32 +0000 (+0100) Subject: Whitespace cleanup. X-Git-Tag: v3_10_rc1 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/refs/tags/v3_10_rc1 Whitespace cleanup. --- diff --git a/NEWS b/NEWS index c658b016a3..fbad645fad 100644 --- a/NEWS +++ b/NEWS @@ -10,10 +10,10 @@ 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). - * Verification and model checking further improved: + * Verification and model checking further improved: liveness+SMPI works; reduction through state equality detection Plus the usual load of bug fixes and small improvements - + _ _____ ___ __ _____ _ __ ___(_) ___ _ __ |___ // _ \ \ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ (_) |