Model-checker:
- Remove option 'model-check/record': Paths are recorded in any cases now.
+ - Remove option 'model-check/sparse-checkpoint': Checkpoints are now
+ always sparse. That's an immense gain in memory, and can even be
+ faster because of cache effects. So there is no need to clutter the
+ code to allow the user to go for the unefficient mode.
-Fixed bugs (GH=GitHub; FG=FramaGit):
+Fixed bugs (FG=FramaGit; GH=GitHub):
- FG#1: Broken link in error messages
+ - FG#2: missing installation documentation
+ - FG#3: missing documentation in smpirun
- FG#7: simple cmake call requires doxygen
- - FG#8: missing installation documentation
- FG#10: Can not use MSG_process_set_data from SMPI any more
- FG#11: Auto-restart actors forget their on_exit behavior
- FG#12: -Denable_lto=OFF doesn't disable LTO
