Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: e2ff966 8c14f6a)
Merge branch 'dev-cpuimpl-used' into 'master'
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Tue, 21 Jun 2022 12:02:16 +0000 (12:02 +0000)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Tue, 21 Jun 2022 12:02:16 +0000 (12:02 +0000)
Trigger new engine solve upon host events such as host on/off

See merge request simgrid/simgrid!109


Trivial merge
Clone of SimGrid repository with local patches