Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
CommDet shall become an extension of the SafetyChecker
[simgrid.git] / src / mc / remote /
drwxr-xr-x   ..
-rw-r--r-- 11421 AppSide.cpp
-rw-r--r-- 1759 AppSide.hpp
-rw-r--r-- 1344 Channel.cpp
-rw-r--r-- 1689 Channel.hpp
-rw-r--r-- 1024 CheckerSide.cpp
-rw-r--r-- 1302 CheckerSide.hpp
-rw-r--r-- 17173 RemoteProcess.cpp
-rw-r--r-- 9086 RemoteProcess.hpp
-rw-r--r-- 4312 RemotePtr.hpp
-rw-r--r-- 3545 mc_protocol.h