X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/528f5f249ef54482bce37b3745bc47e75f8485be..332285d51119f8f98270655bf88f485a9f914df1:/NEWS diff --git a/NEWS b/NEWS index c658b016a3..4169d6e1b1 100644 --- a/NEWS +++ b/NEWS @@ -1,3 +1,10 @@ + _ _____ _ _ +__ _____ _ __ ___(_) ___ _ __ |___ / / / | +\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ | | | + \ V / __/ | \__ \ | (_) | | | | ___) || | | + \_/ \___|_| |___/_|\___/|_| |_| |____(_)_|_| + +(to complete) _ _____ _ ___ __ _____ _ __ ___(_) ___ _ __ |___ / / |/ _ \ \ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ | | | | | @@ -10,10 +17,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 - + _ _____ ___ __ _____ _ __ ___(_) ___ _ __ |___ // _ \ \ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ (_) |