Model-checker:
- Remove option 'model-check/record': Paths are recorded in any cases now.
-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#10: Can not use MSG_process_set_data from SMPI any more
- FG#11: Auto-restart actors forget their on_exit behavior
- FG#13: Installs unstripped file 'bin/graphicator'
- FG#14: Installs the empty directory 'doc/simgrid/html'
- FG#15: Setting -Denable_python=OFF doesn't disable the search for pybind11
- - GH#133: Java : a process can run on a VM even if its host is off
+ - GH#133: Java: a process can run on a VM even if its host is off
- GH#320: Stacktrace: Avoid the backtrace variant of Boost.Stacktrace?
- GH#326: Valgrind-detected error for join() when energy plugin is activated