+ \_/ \___|_| |___/_|\___/|_| |_| |____(_)___/
+ 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 / __/ | \__ \ | (_) | | | | ___) | (_) | / __/
+ \_/ \___|_| |___/_|\___/|_| |_| |____(_)___(_)_____|
+ Oct 5 2011