Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: e220f37 5f7ac85)
Merge branch 'graphicator_seal' into 'master'
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 25 May 2022 12:44:24 +0000 (12:44 +0000)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 25 May 2022 12:44:24 +0000 (12:44 +0000)
Seal the platform in graphicator before dumping

See merge request simgrid/simgrid!107


Trivial merge
Clone of SimGrid repository with local patches