Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
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)
commit42c705df3a3f4ccbd742c08d64487b736d7e1c34
tree59606a58378cdf1b1b5ed7f67ca8f8c30e5712af
parent702abac1553aec3866f9cc025e0343e892e23861
parent7e9aea9de18ab183ef5e12261f92c3997d607dea
Merge pull request #114 from adfaure/master

fix segmentation fault when process try to unlock a not locked mutex