Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'auto_restart' into 'master'
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 12 Aug 2018 16:33:39 +0000 (18:33 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 12 Aug 2018 16:33:39 +0000 (18:33 +0200)
commit1a3a7e5bb83a8e5ee4f2e4d0d5ddd24db125a807
tree98638304b15fe4641aabfd2bd049c42620f6a016
parent6bc18b576fa4a890d8b9916d292ca67dfbf60dd3
parent55063ea2265a9fbbbc4f17529f45d84b2c847c14
Merge branch 'auto_restart' into 'master'

Reimplement the auto-restart mechanism, this time right.
Thanks, Fred.

See merge request simgrid/simgrid!2