Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
continue to split the source code of MC. Split remoting
authorMartin Quinson <martin.quinson@loria.fr>
Mon, 16 Jan 2017 16:16:37 +0000 (17:16 +0100)
committerMartin Quinson <martin.quinson@loria.fr>
Mon, 16 Jan 2017 16:16:37 +0000 (17:16 +0100)
commit63c371bbca5afccc4708761d83af6fc2443ca553
tree265fac21142a9b55e8996e9856ea8d021551aa44
parent9782799d931fd74cdcc7832681b4684aa145a50f
continue to split the source code of MC. Split remoting
28 files changed:
src/mc/AddressSpace.hpp
src/mc/ModelChecker.cpp
src/mc/ModelChecker.hpp
src/mc/Process.hpp
src/mc/RegionSnapshot.hpp
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/checker/LivenessChecker.cpp
src/mc/checker/SafetyChecker.cpp
src/mc/checker/simgrid_mc.cpp
src/mc/mc_base.cpp
src/mc/mc_checkpoint.cpp
src/mc/mc_client_api.cpp
src/mc/mc_global.cpp
src/mc/mc_protocol.cpp [deleted file]
src/mc/mc_smx.h
src/mc/mc_xbt.cpp
src/mc/mc_xbt.hpp
src/mc/remote/Channel.cpp [moved from src/mc/Channel.cpp with 80% similarity]
src/mc/remote/Channel.hpp [moved from src/mc/Channel.hpp with 74% similarity]
src/mc/remote/Client.cpp [moved from src/mc/Client.cpp with 80% similarity]
src/mc/remote/Client.hpp [moved from src/mc/Client.hpp with 85% similarity]
src/mc/remote/RemotePtr.hpp [moved from src/mc/RemotePtr.hpp with 66% similarity]
src/mc/remote/mc_protocol.cpp [new file with mode: 0644]
src/mc/remote/mc_protocol.h [moved from src/mc/mc_protocol.h with 86% similarity]
src/simix/ActorImpl.cpp
src/simix/smx_global.cpp
src/xbt/mmalloc/mm_legacy.c
tools/cmake/DefinePackages.cmake