Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: d5e5174 67d66b0)
Merge branch 'issue95' into 'master'
authorBruno Donassolo <bruno.donassolo@inria.fr>
Wed, 5 Jan 2022 15:58:26 +0000 (15:58 +0000)
committerBruno Donassolo <bruno.donassolo@inria.fr>
Wed, 5 Jan 2022 15:58:26 +0000 (15:58 +0000)
Fix issue#95 (multicore and ptask)

Closes #95

See merge request simgrid/simgrid!73


Trivial merge
Clone of SimGrid repository with local patches