+
+ _ _____ _____ __
+__ _____ _ __ ___(_) ___ _ __ |___ / |___ / / /_
+\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ |_ \| '_ \
+ \ V / __/ | \__ \ | (_) | | | | ___) | ___) | (_) |
+ \_/ \___|_| |___/_|\___/|_| |_| |____(_)____/ \___/
+ (not released yet)
+
+
+ _ _____ _________
+__ _____ _ __ ___(_) ___ _ __ |___ / |___ / ___|
+\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ |_ \___ \
+ \ V / __/ | \__ \ | (_) | | | | ___) | ___) |__) |
+ \_/ \___|_| |___/_|\___/|_| |_| |____(_)____/____/
+ November 23. 2023
+
+The "Thanks Giving up stateful model-checking" release. Stateless model checking remains.
+
+ * Maint: liveness checking is gone. It was fragile and buggy.
+ * API: ActivitySet make it easier to manage sets of activities.
+ * Plugins chiller, photovoltaic and battery revamped and improved.
+ * Performance improvements, both in time and memory.
+ * (+ internal refactoring, usability improvements and bug fixes)
+ _ _____ _____ _ _
+__ _____ _ __ ___(_) ___ _ __ |___ / |___ /| || |
+\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ |_ \| || |_
+ \ V / __/ | \__ \ | (_) | | | | ___) | ___) |__ _|
+ \_/ \___|_| |___/_|\___/|_| |_| |____(_)____/ |_|
+ June 26. 2023
+
+Save the planet, skip a release: 3.33 was due 6 months ago, so skip directly to 3.34.
+
+ * Maint: MSG and Java are gone (EOL was scheduled for 2020), move to C++17,
+ and drop 32bits support.
+ * Model: Introduce a fluid I/O model, mixing I/O and network, to represent
+ streaming from disk
+ * API: DAG/workflow loader; Introducing Tasks which are activities that can
+ be fired several times.
+ * Doc: Several new documentation sections, and a new tutorial on DAGs.
+ * MC: Safety properties now portable to every OS, activated by default
+ in all builds.
+ * MC: Introduction ODPOR/SDPOR reductions and guiding strategies (better
+ state space traversal).
+ * (+ internal refactoring, bug fixes and documentation improvement)
+
+ _ _____ _________
+__ _____ _ __ ___(_) ___ _ __ |___ / |___ /___ \
+\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ |_ \ __) |
+ \ V / __/ | \__ \ | (_) | | | | ___) | ___) / __/
+ \_/ \___|_| |___/_|\___/|_| |_| |____(_)____/_____|
+ October 3. 2022
+
+The Wiedervereinigung release. Germany was reunited 32 years ago.
+
+ * Various cleanups around the virtual machines API
+ * Improved Python platform generation (more robust, easier to use)
+ * Further complete Python bindings (Comm, Engine, ptasks)
+ * (+ internal refactoring, MANY bug fixes and documentation improvement)
+
+ _ _____ _____ _
+__ _____ _ __ ___(_) ___ _ __ |___ / |___ // |
+\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ |_ \| |
+ \ V / __/ | \__ \ | (_) | | | | ___) | ___) | |
+ \_/ \___|_| |___/_|\___/|_| |_| |____(_)____/|_|
+ March 22. 2022
+
+The ненасильство release. We stand against war.
+
+ * Refactoring the model-checker, enabling synchronization objects and future improvements
+ * Introducing BMF sharing, enabling ptasks in regular models (experimental)
+ * Further complete Python bindings (Mutex, Semaphore and Barrier)
+ * (+ internal refactoring, many bug fixes and documentation improvement)
+
+ _ _____ _____ ___
+__ _____ _ __ ___(_) ___ _ __ |___ / |___ / / _ \
+\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ |_ \| | | |
+ \ V / __/ | \__ \ | (_) | | | | ___) | ___) | |_| |
+ \_/ \___|_| |___/_|\___/|_| |_| |____(_)____/ \___/
+ January 30. 2022
+
+The Sunday Bloody Sunday release.
+
+ * SimDAG is finally removed, fully superseded by S4U.
+ * New documentation on calibrating MPI.
+ * The Algorithms tutorial can now be taken in Python.
+ * (+ many bug fixes and internal refactoring)
+
+ _ _____ ____ ___
+__ _____ _ __ ___(_) ___ _ __ |___ / |___ \ / _ \
+\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ __) | (_) |
+ \ V / __/ | \__ \ | (_) | | | | ___) | / __/ \__, |
+ \_/ \___|_| |___/_|\___/|_| |_| |____(_)_____| /_/
+ October 7. 2021
+
+The "Ask a stupid question" release
+
+ * Python bindings for the platform creation API
+ * Introduce non-linear resource sharing, allowing decay models
+ * New documentation section on realistic I/O modeling
+ * (+ many bug fixes and internal refactoring)
+
+ _ _____ ____ ___
+__ _____ _ __ ___(_) ___ _ __ |___ / |___ \( _ )
+\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ __) / _ \
+ \ V / __/ | \__ \ | (_) | | | | ___) | / __/ (_) |
+ \_/ \___|_| |___/_|\___/|_| |_| |____(_)_____\___/
+ July 14. 2021
+
+The Victoriadagarna Release (birthday of Crown Princess Victoria)
+
+ * Programmatic platform description (only C++ for now).
+ * New plugin to simplify producer/consumer applications.
+ * MC: new tutorial and associated docker image.
+ * SMPI: improve error handling for incorrect advanced usages.
+ * Many internal cleanups and refactoring to prepare the future.
+
+ _ _____ ____ _____
+__ _____ _ __ ___(_) ___ _ __ |___ / |___ \___ |
+\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ __) | / /
+ \ V / __/ | \__ \ | (_) | | | | ___) | / __/ / /
+ \_/ \___|_| |___/_|\___/|_| |_| |____(_)_____/_/
+ March 29. 2021
+
+The Ragnar Release (anniversary of the siege of Paris by Vikings in 845)
+
+ * SMPI: can now report leaks and hint about the mallocs and kernels hindering simulation scalability
+ * Doc: Several new sections in the user manual, and start documenting the internals.
+ * S4U: Direct comms from host to host, without mailboxes.
+ * Many internal cleanups and refactoring to prepare the future.
+