Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Remove the SNAPSHOT and COMPARE_SNAPSHOTS MC simcalls
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 8 Mar 2016 09:44:49 +0000 (10:44 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 8 Mar 2016 09:44:49 +0000 (10:44 +0100)
commit507785035fffb029577ed608142f0cb8a43f77e9
tree36f55f4b5ce4a91c700b2e4ae1893eeb48788072
parent195e487a20a55e069bd2300dedf67d7cb122ee47
[mc] Remove the SNAPSHOT and COMPARE_SNAPSHOTS MC simcalls

They were not used.
12 files changed:
include/simgrid/modelchecker.h
include/simgrid/simix.h
src/mc/mc_base.cpp
src/mc/mc_checkpoint.cpp
src/mc/mc_client_api.cpp
src/mc/mc_request.cpp
src/simix/libsmx.cpp
src/simix/popping_accessors.h
src/simix/popping_bodies.cpp
src/simix/popping_enum.h
src/simix/popping_generated.cpp
src/simix/simcalls.in