+v0.5 --
+
+v0.4 -- Wed, 16 May 2018 11:30:38 +0200
+
+ * Updated to latest SimGrid version.
+
+v0.3 -- Mon, 30 Apr 2018 11:41:13 +0200
+
+ * Finalize version 0.3 before making new changes.
+ * See git log for details.
+
+v0.2 -- Thu, 01 Mar 2012 14:10:17 +0100
+
+ * Timings are now computed with clock_gettime.
+ * Add ability to exit on detection of global convergence (-g).
+ * Protect shared variables for parallel executions.
+ Warning: parallel executions may give different results.
+ * More statistics are computed.
+ * Some new parameters (-k, -%, -E, ...)
+ * See git log for more details.