Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC: rename remote/RemoteClient -> remote/RemoteClientMemory and remove networking...
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 6 May 2020 23:21:19 +0000 (01:21 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 6 May 2020 23:21:19 +0000 (01:21 +0200)
commit799a432e8ac74a0a84feb8dbf7a78a14068050b3
treeb43bd41c38039b69262aa1ed41597a61c4a15697
parent2e6a2f4d67dd98932d53dade7d9f4a01ded1401d
MC: rename remote/RemoteClient -> remote/RemoteClientMemory and remove networking from its responsability
24 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/LivenessChecker.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_forward.hpp
src/mc/mc_smx.cpp
src/mc/mc_smx.hpp
src/mc/remote/RemoteClientMemory.cpp [moved from src/mc/remote/RemoteClient.cpp with 87% similarity]
src/mc/remote/RemoteClientMemory.hpp [moved from src/mc/remote/RemoteClient.hpp with 91% similarity]
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