Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
mc: Kill a C type and use the C++ one
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 15 May 2019 21:43:39 +0000 (23:43 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 15 May 2019 21:55:34 +0000 (23:55 +0200)
commitb20181dac355021101b67ba77ff07f135419e00c
tree9a3eef7ceb284d3e739526f5ba95aa0c0d4df8b3
parent5b20f19ea87a94925264a0c8313eea119dfcbc11
mc: Kill a C type and use the C++ one

+cosmetics
src/mc/compare.cpp
src/mc/sosp/RegionSnapshot.hpp
src/mc/sosp/mc_checkpoint.cpp
src/mc/sosp/mc_page_snapshot.cpp
src/mc/sosp/mc_snapshot.cpp
src/mc/sosp/mc_snapshot.hpp