Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC: remove support for flat storage of regions
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 30 May 2019 10:32:28 +0000 (12:32 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 30 May 2019 10:32:32 +0000 (12:32 +0200)
commitd2b42c9c0b31834a48bc489d05e4f9499b81bb72
treeb257a964d95a199fc8422c37337aa66e6b56f32c
parent829f39159ae5379b9f912c89f995c5c732c009d9
MC: remove support for flat storage of regions

This is another move to unclutter the MC source code. The road is
still long, but I'm progressing.
12 files changed:
ChangeLog
docs/source/Configuring_SimGrid.rst
examples/deprecated/msg/mc/CMakeLists.txt
examples/deprecated/msg/mc/bugged1_liveness_sparse.tesh [deleted file]
examples/deprecated/msg/mc/bugged1_liveness_visited_sparse.tesh [deleted file]
src/mc/mc_config.cpp
src/mc/mc_config.hpp
src/mc/sosp/RegionSnapshot.cpp
src/mc/sosp/RegionSnapshot.hpp
src/mc/sosp/mc_snapshot.cpp
src/mc/sosp/mc_snapshot.hpp
src/mc/sosp/mc_snapshot_test.cpp