Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 9c75f07 e95fe51)
Merge branch 'issue111' into 'master'
authorBruno Donassolo <bruno.donassolo@inria.fr>
Fri, 8 Jul 2022 09:26:41 +0000 (09:26 +0000)
committerBruno Donassolo <bruno.donassolo@inria.fr>
Fri, 8 Jul 2022 09:26:41 +0000 (09:26 +0000)
Workaround for multicore ptasks.

Closes #111

See merge request simgrid/simgrid!114


Trivial merge
Clone of SimGrid repository with local patches