Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC: Further renamings
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 7 May 2020 17:41:21 +0000 (19:41 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 9 May 2020 23:56:58 +0000 (01:56 +0200)
commit2dab73b61a6ad4feb7d2d267bf5621c7b95926b3
tree369248fd563605177263407c6755551b6bd2a339
parent5fbb3fe0fdfdf731e46c9ef6a80de1d66a9d729c
MC: Further renamings
30 files changed:
src/mc/AddressSpace.hpp
src/mc/ModelChecker.cpp
src/mc/ModelChecker.hpp
src/mc/Session.cpp
src/mc/VisitedState.cpp
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/checker/LivenessChecker.cpp
src/mc/checker/SafetyChecker.cpp
src/mc/compare.cpp
src/mc/inspect/ObjectInformation.hpp
src/mc/inspect/mc_dwarf.cpp
src/mc/inspect/mc_unw.cpp
src/mc/inspect/mc_unw.hpp
src/mc/inspect/mc_unw_vmread.cpp
src/mc/mc_base.cpp
src/mc/mc_comm_pattern.cpp
src/mc/mc_forward.hpp
src/mc/mc_request.cpp
src/mc/mc_smx.cpp
src/mc/mc_smx.hpp
src/mc/mc_state.cpp
src/mc/remote/RemoteSimulation.cpp [moved from src/mc/remote/RemoteClientMemory.cpp with 88% similarity]
src/mc/remote/RemoteSimulation.hpp [moved from src/mc/remote/RemoteClientMemory.hpp with 92% similarity]
src/mc/sosp/Region.cpp
src/mc/sosp/Snapshot.cpp
src/mc/sosp/Snapshot.hpp
src/mc/sosp/Snapshot_test.cpp
teshsuite/mc/dwarf-expression/dwarf-expression.cpp
teshsuite/mc/dwarf/dwarf.cpp
tools/cmake/DefinePackages.cmake