Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
introduce type aid_t for Actor's ID (ie, PID)
[simgrid.git] / src / simix /
drwxr-xr-x   ..
-rw-r--r-- 31763 ActorImpl.cpp
-rw-r--r-- 5348 ActorImpl.hpp
-rw-r--r-- 4908 README_attempt_without_stack
-rw-r--r-- 21997 libsmx.cpp
-rw-r--r-- 1971 popping.cpp
-rw-r--r-- 55673 popping_accessors.h
-rw-r--r-- 21871 popping_bodies.cpp
-rw-r--r-- 2259 popping_enum.h
-rw-r--r-- 17892 popping_generated.cpp
-rw-r--r-- 4701 popping_private.h
-rw-r--r-- 6371 simcalls.in
-rwxr-xr-x 14120 simcalls.py
-rw-r--r-- 10115 simix_network.tla
-rw-r--r-- 11053 smx_context.cpp
-rw-r--r-- 5269 smx_deployment.cpp
-rw-r--r-- 1459 smx_environment.cpp
-rw-r--r-- 25012 smx_global.cpp
-rw-r--r-- 11252 smx_host.cpp
-rw-r--r-- 2313 smx_host_private.h
-rw-r--r-- 7574 smx_io.cpp
-rw-r--r-- 1852 smx_io_private.h
-rw-r--r-- 28759 smx_network.cpp
-rw-r--r-- 1009 smx_network_private.h
-rw-r--r-- 2851 smx_private.h
-rw-r--r-- 13422 smx_synchro.cpp
-rw-r--r-- 2536 smx_synchro_private.h