Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Destroy dead actors after mc::replay() is completed (fix memory leak).