Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Revert "[mc] Enable MC specific behaviour in replay mode"
[simgrid.git] / src / simix /
drwxr-xr-x   ..
-rw-r--r-- 4907 README_attempt_without_stack
-rw-r--r-- 38449 libsmx.c
-rw-r--r-- 1815 popping.c
-rw-r--r-- 79237 popping_accessors.h
-rw-r--r-- 119166 popping_bodies.c
-rw-r--r-- 4232 popping_enum.h
-rw-r--r-- 31002 popping_generated.c
-rw-r--r-- 2067 popping_private.h
-rw-r--r-- 10350 simcalls.in
-rwxr-xr-x 14265 simcalls.py
-rw-r--r-- 10115 simix_network.tla
-rw-r--r-- 10235 smx_context.c
-rw-r--r-- 2777 smx_context_base.c
-rw-r--r-- 22611 smx_context_raw.c
-rw-r--r-- 12486 smx_context_sysv.c
-rw-r--r-- 7284 smx_context_thread.c
-rw-r--r-- 7810 smx_deployment.c
-rw-r--r-- 1912 smx_environment.c
-rw-r--r-- 22041 smx_global.c
-rw-r--r-- 21359 smx_host.c
-rw-r--r-- 4488 smx_host_private.h
-rw-r--r-- 11368 smx_io.c
-rw-r--r-- 1993 smx_io_private.h
-rw-r--r-- 40156 smx_network.c
-rw-r--r-- 2983 smx_network_private.h
-rw-r--r-- 11674 smx_private.h
-rw-r--r-- 30681 smx_process.c
-rw-r--r-- 4454 smx_process_private.h
-rw-r--r-- 14096 smx_synchro.c
-rw-r--r-- 1588 smx_synchro_private.h
-rw-r--r-- 10634 smx_vm.c