Fixed bugs (FG=FramaGit; GH=GitHub):
- FG#1: Broken link in error messages
- FG#2: missing installation documentation
Fixed bugs (FG=FramaGit; GH=GitHub):
- FG#1: Broken link in error messages
- FG#2: missing installation documentation
- 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#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