Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Bugfix: correctly set/unset the raw memory when taking/restoring snapshots