Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 3d04e86 4b335d5)
Merge pull request #156 from simgrid/munmap_size
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 14 Apr 2017 13:10:07 +0000 (15:10 +0200)
committerGitHub <noreply@github.com>
Fri, 14 Apr 2017 13:10:07 +0000 (15:10 +0200)
Call munmap with the size in smpi_shared_free


Trivial merge
Clone of SimGrid repository with local patches