The Easter Trim Release.
- Backwards Compatibility breaks
- - Some command line options were renamed for consistency sake:
- - model-check/sparse-checkpoint -> model-check/sparse_checkpoint
- - smpi/async_small_thres -> smpi/async_small_thresh
- - smpi/send_is_detached_thres -> smpi/send_is_detached_thresh
-
+ * Backwards Compatibility breaks
- Removed Lua simulation bindings (switch to C or Java for that).
Lua can still be used to describe platforms
- Removed Java kernel plug-ins.
MC_snapshot() and MC_compare_snapshot();
- keep the MC_cut() function as a stub (it was not really working
in the previous release).
+
+ Options:
+ * All options are consistently in kebab-case. Old names are kept as alias.
XML platforms:
* Switch to platform v4 format.
