Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Use vector<RegionSnapshot> instead of vector<unique_ptr<RegionSnapshot>> in...
authorGabriel Corona <gabriel.corona@loria.fr>
Fri, 29 May 2015 13:57:30 +0000 (15:57 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Mon, 1 Jun 2015 10:41:10 +0000 (12:41 +0200)
commit928649fec04d89b678017ec4cadbc97e5ef901f5
treea1e324ffc8535271584fc046c683ab1bcf0d9f1d
parent9aa56fcf0b5bca4428410cb58affa1ded43959a0
[mc] Use vector<RegionSnapshot> instead of vector<unique_ptr<RegionSnapshot>> in RegionSnapshot
src/mc/mc_checkpoint.cpp
src/mc/mc_compare.cpp
src/mc/mc_page_snapshot.cpp
src/mc/mc_snapshot.cpp
src/mc/mc_snapshot.h