Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw (from parent 2: 7e9aea9)
Merge pull request #114 from adfaure/master
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 12 Sep 2016 20:41:13 +0000 (22:41 +0200)
committerGitHub <noreply@github.com>
Mon, 12 Sep 2016 20:41:13 +0000 (22:41 +0200)
fix segmentation fault when process try to unlock a not locked mutex


No differences found
Clone of SimGrid repository with local patches