+ _ _____ _ _
+__ _____ _ __ ___(_) ___ _ __ |___ / / / |
+\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ | | |
+ \ V / __/ | \__ \ | (_) | | | | ___) || | |
+ \_/ \___|_| |___/_|\___/|_| |_| |____(_)_|_|
+
+(to complete)
+ _ _____ _ ___
+__ _____ _ __ ___(_) ___ _ __ |___ / / |/ _ \
+\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ | | | | |
+ \ V / __/ | \__ \ | (_) | | | | ___) || | |_| |
+ \_/ \___|_| |___/_|\___/|_| |_| |____(_)_|\___/
+ Nov 17 2013
+
+The Clean Diaper Release, a.k.a. SimGrid is leak-free. Major changes:
+
+ * Preliminary DVFS support to track the energy consumption
+ * 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).
+ * Lots of memory leaks were corrected in this release.
+ * Verification and model checking further improved:
+ liveness+SMPI works; reduction through state equality detection
+ Plus the usual load of bug fixes and small improvements
+
+ _ _____ ___
+__ _____ _ __ ___(_) ___ _ __ |___ // _ \
+\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ (_) |
+ \ V / __/ | \__ \ | (_) | | | | ___) \__, |
+ \_/ \___|_| |___/_|\___/|_| |_| |____(_)/_/
+ Feb 5 2013
+
+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
+ _ _____ ___ _
+__ _____ _ __ ___(_) ___ _ __ |___ / ( _ ) / |
+\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ / _ \ | |
+ \ V / __/ | \__ \ | (_) | | | | ___) | (_) || |
+ \_/ \___|_| |___/_|\___/|_| |_| |____(_)___(_)_|
+ Oct 27 2012
+
+The "we are told that some people want to also *install* the simgrid
+framework" release.
+
+ * Add missing manpage to the archive.
+ _ _____ ___
+__ _____ _ __ ___(_) ___ _ __ |___ / ( _ )
+\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ / _ \
+ \ V / __/ | \__ \ | (_) | | | | ___) | (_) |
+ \_/ \___|_| |___/_|\___/|_| |_| |____(_)___/
+ 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
+ * platf: New C interface to create fixed or random platforms
+ * SimDag: Many fixes and improvements of typed tasks
+ * SMPI now covers more of the MPI interface.
+ More datatypes, more functions, more robust.
+ * Model-checking: mmalloc is more robust to user errors.
+ _ _____ _____ _
+__ _____ _ __ ___(_) ___ _ __ |___ /|___ / |
+\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ / /| |
+ \ V / __/ | \__ \ | (_) | | | | ___) | / /_| |
+ \_/ \___|_| |___/_|\___/|_| |_| |____(_)_/(_)_|
+ June 7 2012
+
+The "cleaning the cleanup" release. Major changes:
+
+ * Portability fixups for Mac OSX and Windows
+ * Some other bug fixing and various polishing.
+ _ ____ _____
+__ _____ _ __ ___(_) ___ _ __ |___ /|___ |
+\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ / /
+ \ V / __/ | \__ \ | (_) | | | | ___) | / /
+ \_/ \___|_| |___/_|\___/|_| |_| |____(_)_/
+ May 15 2012
+
+The "spring cleanups (before the next Big Project kicks in)" release.
+Major changes:
+
+ * Major cleanups all around (doc, user options, MSG, Lua, internals)
+ Small backward compatibility glitches may have been introduced
+ * 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)
+ _ _____ __ ____
+__ _____ _ __ ___(_) ___ _ __ |___ / / /_ |___ \
+\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \| '_ \ __) |
+ \ V / __/ | \__ \ | (_) | | | | ___) | (_) | / __/