Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'adegomme-master-patch-91657' into 'master'
authorAugustin Degomme <26892-adegomme@users.noreply.framagit.org>
Thu, 6 Oct 2022 22:27:27 +0000 (22:27 +0000)
committerAugustin Degomme <26892-adegomme@users.noreply.framagit.org>
Thu, 6 Oct 2022 22:27:27 +0000 (22:27 +0000)
SMPI: add option to inject a barrier before every collective call, to allow...

See merge request simgrid/simgrid!119


Trivial merge