Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Rename mc::RemoteSimulation into mc::RemoteProcess
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 13 Mar 2021 23:19:04 +0000 (00:19 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 13 Mar 2021 23:42:50 +0000 (00:42 +0100)
commit09abefeb928cd7ea4679407a6b4387d4f75beaa9
tree8822a9d1a210d63429e423dda437194618a65b62
parente9198879b07a40f01d00fc80eed78cebb328a2bd
Rename mc::RemoteSimulation into mc::RemoteProcess
26 files changed:
MANIFEST.in
src/mc/AddressSpace.hpp
src/mc/ModelChecker.cpp
src/mc/ModelChecker.hpp
src/mc/Session.cpp
src/mc/api.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_request.cpp
src/mc/mc_smx.cpp
src/mc/remote/AppSide.cpp
src/mc/remote/RemoteProcess.cpp [moved from src/mc/remote/RemoteSimulation.cpp with 88% similarity]
src/mc/remote/RemoteProcess.hpp [moved from src/mc/remote/RemoteSimulation.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