Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw (from: 1a3a7e5)
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)
Reimplement the auto-restart mechanism, this time right.
Thanks, Fred.

See merge request simgrid/simgrid!2


No differences found
Clone of SimGrid repository with local patches