+
+ * 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)