+ - VM.setBound(int load) is now VM.setBound(double bound) to meet the MSG semantics.
+ Use VM.getSpeed()*load/100 for the legacy behavior.
+ - In CMake
+ - option enable_tracing was removed. It was not doing anything for a while.
+ - In the ModelChecker:
+ - the model-checker now ptraces the model-checked process which means
+ you cannot use a debugger on the latter anymore (we might make this
+ optional in the feature);
+ - removed soft-dirty page tracking;
+ - remove model-checked side snapshot management,
+ 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.