+
+ Backwards Compatibility breaks
+ - The option "model-check/sparse-checkpoint" was renamed to
+ "model-check/sparse_checkpoint" as we attempt to unify our naming
+ schemes.
+ - The option smpi/async_small_thres was renamed to smpi/async_small_thresh
+ as we attempt to unify our naming schemes.
+ - The option smpi/send_is_detached_thres was renamed to
+ smpi/send_is_detached_thresh as we attempt to unify our naming schemes.
+
+ - We removed support for writing your simulation in Lua; you can use
+ the Java bindings.
+