[mc] Add a message to explain no property violation is found

[simgrid.git] / NEWS

diff --git a/NEWS b/NEWS
index 716b19f..99a0696 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -1,14 +1,25 @@
+                    _               _____  _ ____
+__   _____ _ __ ___(_) ___  _ __   |___ / / |___ \
+\ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \ | | __) |
+ \ V /  __/ |  \__ \ | (_) | | | |  ___) || |/ __/
+  \_/ \___|_|  |___/_|\___/|_| |_| |____(_)_|_____|
+
+(to complete)
+
                     _               _____  _ _
 __   _____ _ __ ___(_) ___  _ __   |___ / / / |
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \ | | |
  \ V /  __/ |  \__ \ | (_) | | | |  ___) || | |
   \_/ \___|_|  |___/_|\___/|_| |_| |____(_)_|_|
+                May 31 2014
 
 The Class Release. Major changes:
- * Surf is now in C++ and documented
- * Virtual Machine model
- * Surf callbacks to create plugins
- * Simcalls generated by python script
+
+ * Surf is now in C++ (and documented!)
+ * Virtual Machine model for Cloud Simulation
+ * Surf callbacks: plug your code directly in Surf!
+ * Simcalls are script-generated to clean the mess
+
                     _               _____  _  ___
 __   _____ _ __ ___(_) ___  _ __   |___ / / |/ _ \
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \ | | | | |
@@ -39,6 +50,7 @@ The "Grasgory" release. Major changes:
  * Gras was completely removed from this version.
  * Documentation reorganization to ease browsing it.
  * New default value for the TCP_gamma parameter: 4MiB
+
                     _               _____  ___   _
 __   _____ _ __ ___(_) ___  _ __   |___ / ( _ ) / |
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \ / _ \ | |
@@ -50,6 +62,7 @@ The "we are told that some people want to also *install* the simgrid
 framework" release.
 
  * Add missing manpage to the archive.
+
                     _               _____  ___
 __   _____ _ __ ___(_) ___  _ __   |___ / ( _ )
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \ / _ \
@@ -67,6 +80,7 @@ Major changes:
  * SMPI now covers more of the MPI interface.
    More datatypes, more functions, more robust.
  * Model-checking: mmalloc is more robust to user errors.
+
                     _               _____ _____ _
 __   _____ _ __ ___(_) ___  _ __   |___ /|___  / |
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \   / /| |
@@ -78,6 +92,7 @@ The "cleaning the cleanup" release. Major changes:
 
  * Portability fixups for Mac OSX and Windows
  * Some other bug fixing and various polishing.
+
                     _               ____  _____
 __   _____ _ __ ___(_) ___  _ __   |___ /|___  |
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \   / /
@@ -93,6 +108,7 @@ Major changes:
  * Parallel execution of user code should be stable and efficient now
  * SMPI is now considered stable
  * Add temporals to Model-Checking (highly experimental right now)
+
                     _               _____  __    ____
 __   _____ _ __ ___(_) ___  _ __   |___ / / /_  |___ \
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \| '_ \   __) |
@@ -175,6 +191,7 @@ __   _____ _ __ ___(_) ___  _ __   |___ /| || |  / |
 
 The "Polishing easter eggs is probably a good idea" release.
 This is a bug fixes release only.
+
                     _               _____ _  _
 __   _____ _ __ ___(_) ___  _ __   |___ /| || |
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \| || |_
@@ -231,6 +248,7 @@ Most important changes:
 
 On the way, we gained a bit more than 5% on the classical master/slave
 example. More to come on this in future releases.
+
                     _               _____  _____  _
 __   _____ _ __ ___(_) ___  _ __   |___ / |___ / / |
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \   |_ \ | |