+ _ _____ __________
+__ _____ _ __ ___(_) ___ _ __ |___ / |___ /___ /
+\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ |_ \ |_ \
+ \ V / __/ | \__ \ | (_) | | | | ___) | ___) |__) |
+ \_/ \___|_| |___/_|\___/|_| |_| |____(_)____/____/
+ (not released yet)
+
+ * MSG and Java are gone (EOL was scheduled for 2020)
+ * Introduce a fluid I/O model, mixing I/O and network, to represent streaming from disk
+ * Fix the DPOR reduction, toward sound verifications.
+ * (+ MANY internal refactoring, bug fixes and MANY 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 / __/ | \__ \ | (_) | | | | ___) | ___) | |
\_/ \___|_| |___/_|\___/|_| |_| |____(_)____/|_|
- (unreleased)
+ 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)
_ _____ _____ ___
__ _____ _ __ ___(_) ___ _ __ |___ / |___ / / _ \
* New documentation on calibrating MPI.
* The Algorithms tutorial can now be taken in Python.
* (+ many bug fixes and internal refactoring)
+
_ _____ ____ ___
__ _____ _ __ ___(_) ___ _ __ |___ / |___ \ / _ \
\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ __) | (_) |