+The Half Release, a.k.a. the Zealous Easter Trim.
+
+ * Half of the lines of code are gone.
+ - v3.12: 286k lines; v3.13: 142k lines (+ comments)
+ - Experimental untested unused "features" removed
+ - We rewrote several parts in C++ instead of C
+
+ * Introducing v4 of the XML platform format
+ - Many long-due cleanups (details in the Changelog)
+
+ * MSG examples fully reorganized (in C and Java)
+
+ * The S4U interface is rising, toward SimGrid 4
+ - All host manipulations now done in S4U
+ - SimDag was mostly rewritten on top of S4U
+ - MSG & SimDag interfaces mostly unchanged
+ _ _____ _ ____
+__ _____ _ __ ___(_) ___ _ __ |___ / / |___ \
+\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ | | __) |
+ \ V / __/ | \__ \ | (_) | | | | ___) || |/ __/
+ \_/ \___|_| |___/_|\___/|_| |_| |____(_)_|_____|
+ Oct 12 2015
+
+The Facelift Release. Major changes:
+
+ * Many interface glitches addressed, everywhere.
+ - Require g++-4.7, Java 7 and boost 1.48
+ - Builds on Linux, OS X, Windows and FreeBSD
+ - See ChangeLog for renamed functions and options.
+
+ * Energy plugin: major cleanups/rewrites.
+ http://simgrid.org/tutorials/simgrid-energy-101.pdf
+
+ * Model-Checker progresses toward production use:
+ - More robust (now runs in a separate process).
+ - More efficient (with snapshots' memory compaction).
+ - More usable (execution paths replayed out of MC)
+ http://simgrid.org/tutorials/simgrid-mc-101.pdf
+
+ * SMPI improvements:
+ - Better standard coverage - SMP-aware collectives
+ - InfiniBand model - Early support for RMA
+ - Replay: Dynamic selector - MVAPICH2 selector
+ http://simgrid.org/tutorials/simgrid-smpi-101.pdf
+
+Upcoming v3.13 will introduce new interfaces, toward SimGrid 4.
+
+ _ _____ _ _
+__ _____ _ __ ___(_) ___ _ __ |___ / / / |
+\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ | | |
+ \ V / __/ | \__ \ | (_) | | | | ___) || | |
+ \_/ \___|_| |___/_|\___/|_| |_| |____(_)_|_|
+ May 31 2014
+
+The Class Release. Major changes:
+
+ * 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
+
+ _ _____ _ ___
+__ _____ _ __ ___(_) ___ _ __ |___ / / |/ _ \
+\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ | | | | |
+ \ 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.
+
+ _ ____ _____