Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'dev-mailbox-clear' into 'master'
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 29 Mar 2022 17:55:41 +0000 (17:55 +0000)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 29 Mar 2022 17:55:41 +0000 (17:55 +0000)
commitea10e88fd41a11386d9e3868d72ab8cb933a4292
tree8d946ca352f801f1e6a43d530c7c51ae670e40ee
parent2e7129924068cc550bffddb396bc236f66360735
parente469af84f265bb6bd333528c6d7aff6a232b2ee8
Merge branch 'dev-mailbox-clear' into 'master'

Expose MailboxImpl::clear() to improve handling of node faults

See merge request simgrid/simgrid!89