+ _ _____ _________
+__ _____ _ __ ___(_) ___ _ __ |___ / |___ /___ \
+\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ |_ \ __) |
+ \ V / __/ | \__ \ | (_) | | | | ___) | ___) / __/
+ \_/ \___|_| |___/_|\___/|_| |_| |____(_)____/_____|
+ (unreleased)
+
+ _ _____ _____ _
+__ _____ _ __ ___(_) ___ _ __ |___ / |___ // |
+\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ |_ \| |
+ \ 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)