Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
RegionSnap: only use pointers to regions for sake of simplicity
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 20 May 2019 22:29:22 +0000 (00:29 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 22 May 2019 08:19:54 +0000 (10:19 +0200)
commit2a07cc1dc95048c86a3fc76aca2e9c088f7b5025
tree320b793142e81acdbe5a2af72630f3d3c2b54787
parentaf4f085dddf9802166aa47d8866efce05d8efc1d
RegionSnap: only use pointers to regions for sake of simplicity
src/mc/sosp/RegionSnapshot.cpp
src/mc/sosp/RegionSnapshot.hpp
src/mc/sosp/mc_checkpoint.cpp
src/mc/sosp/mc_snapshot.cpp
src/mc/sosp/mc_snapshot_test.cpp