Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'dev-s4u-dirty-termination' into 'master'
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Tue, 17 May 2022 19:06:59 +0000 (19:06 +0000)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Tue, 17 May 2022 19:06:59 +0000 (19:06 +0000)
commited381d0a01b3ab0dfe9aba16231c36a7d498ced6
tree4210d58f5eb87aab865e5eb64b0f5341b8547293
parentcae6ec1dd7be471ac6eb6c4fbc809a6647687d33
parentfd4d66e656f5f12b2810429ef32fd746bd8ea55c
Merge branch 'dev-s4u-dirty-termination' into 'master'

Make S4u dirty termination better looking

See merge request simgrid/simgrid!97