model-checker : fix dichotomic search and insertion for visited states

[simgrid.git] / NEWS

diff --git a/NEWS b/NEWS
index 3002f05..a0f1e57 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -4,14 +4,20 @@ __   _____ _ __ ___(_) ___  _ __   |___ // _ \
  \ V /  __/ |  \__ \ | (_) | | | |  ___) \__, |
   \_/ \___|_|  |___/_|\___/|_| |_| |____(_)/_/
 
-(to complete)
+The "Grasgory" release. Major changes:
+
+ * Gras was completely removed from this version
                     _               _____  ___   _
 __   _____ _ __ ___(_) ___  _ __   |___ / ( _ ) / |
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \ / _ \ | |
  \ V /  __/ |  \__ \ | (_) | | | |  ___) | (_) || |
   \_/ \___|_|  |___/_|\___/|_| |_| |____(_)___(_)_|
+                Oct 27 2012
+
+The "we are told that some people want to also *install* the simgrid
+framework" release.
 
-(to complete)
+ * Add missing manpage to the archive.
                     _               _____  ___
 __   _____ _ __ ___(_) ___  _ __   |___ / ( _ )
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \ / _ \
@@ -20,6 +26,7 @@ __   _____ _ __ ___(_) ___  _ __   |___ / ( _ )
                 Oct 25 2012
 
 The Psssshiiiit release: SimGrid jumps into the Cloud.
+Major changes:
 
  * Experimental interface to manipulate VMs, EC2-style.
  * Fixes around process restart and stochastic workloads