Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC: rename remote/RemoteProcess to sosp/RemoteProcessMemory
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 12 Mar 2023 21:16:16 +0000 (22:16 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 12 Mar 2023 21:25:49 +0000 (22:25 +0100)
commit515cd2622ad1000f5f3ba58ecfaf488ac922b963
tree8477cc3e3603efef647bfb491e5841ad8d200f84
parent2c5bc1925ed8daa3274f4c6ddefbbe0e7ecf6a06
MC: rename remote/RemoteProcess to sosp/RemoteProcessMemory
28 files changed:
MANIFEST.in
src/mc/AddressSpace.hpp
src/mc/ModelChecker.cpp
src/mc/ModelChecker.hpp
src/mc/VisitedState.cpp
src/mc/api/RemoteApp.cpp
src/mc/api/RemoteApp.hpp
src/mc/compare.cpp
src/mc/explo/DFSExplorer.cpp
src/mc/explo/LivenessChecker.cpp
src/mc/explo/LivenessChecker.hpp
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/remote/AppSide.cpp
src/mc/sosp/Region.cpp
src/mc/sosp/RemoteProcessMemory.cpp [moved from src/mc/remote/RemoteProcess.cpp with 86% similarity]
src/mc/sosp/RemoteProcessMemory.hpp [moved from src/mc/remote/RemoteProcess.hpp with 89% 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