\_/ \___|_| |___/_|\___/|_| |_| |____(_)____/_____|
(unreleased)
+ * 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)
+
_ _____ _____ _
__ _____ _ __ ___(_) ___ _ __ |___ / |___ // |
\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ |_ \| |
* 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)
+ * (+ internal refactoring, many bug fixes and documentation improvement)
+
_ _____ _____ ___
__ _____ _ __ ___(_) ___ _ __ |___ / |___ / / _ \
\ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ |_ \| | | |