Update copyright lines for 2023.
Make CommDet a plugin on top of Safety
Update copyright lines for 2022.
Update copyright lines.
Update copyright lines with new year.
Update copyright lines with new year.
Rename cluster.xml to cluster_backbone.xml also, fix the make dist and some cosmetics.
Update copyright headers. Simplify year ranges; end by 2018. Starting year was kept as-is. Shall it be changed to 2003?
Remove lines of commented code spotted by sonar.
a few smells less
codacy treats
kebab-case some smpi options An alias of the old name is setup, so this is transparent for old timers.
a couple of blank and space lines
[SMPI] Renamed option send_is_detached_thres to send_is_detached_thresh
[mc] Remove the --cfg=model-check:1 flag It is not useless: model-checking is enabled when we use the simgrid-mc wrapper.
Update copyright notices Only files with an existing SimGrid copyright header and that were already changed in 2015 were modified.
model-checker : really (?) fix SIMCALL_MUTEX_LOCK and UNLOCK with MC