Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
mc: privatized regions now use a vector of pointers for sake of homogeneity
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 20 May 2019 22:07:48 +0000 (00:07 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 22 May 2019 08:19:54 +0000 (10:19 +0200)
commitaf4f085dddf9802166aa47d8866efce05d8efc1d
treeec596fdccd954cdee7a1aca9aa5efad7460cc03a
parent92cbaa683aa7824d7ad1b7f1702dec27e1c6eefb
mc: privatized regions now use a vector of pointers for sake of homogeneity

This commit is ... not very helping the readability as is. I hope to
make a real hierarchy of classes here around soon.
src/mc/compare.cpp
src/mc/sosp/RegionSnapshot.hpp
src/mc/sosp/mc_checkpoint.cpp
src/mc/sosp/mc_snapshot.cpp
src/mc/sosp/mc_snapshot.hpp