- * MSG and Java are gone (EOL was scheduled for 2020), move to C++17 and drop 32bits support.
- * Introduce a fluid I/O model, mixing I/O and network, to represent streaming from disk
- * DAG/workflow loader; Introducing Tasks which are activities that can be fired several times.
- * Several new documentation sections, and a new tutorial.
- * Safety properties now portable to every OS, activated by default in all builds.
- * Introduction ODPOR/SDPOR reductions and guiding strategies (better state space traversal).
- * (+ MANY internal refactoring, bug fixes and MANY documentation improvement)
+ * 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)