Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge pull request #181 from bcamus/master
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 15 Jun 2017 08:43:11 +0000 (10:43 +0200)
committerGitHub <noreply@github.com>
Thu, 15 Jun 2017 08:43:11 +0000 (10:43 +0200)
Add tests for multi-core VM


Trivial merge