Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Remove XBT_INFO call
[simgrid.git] / examples / msg / mc /
drwxr-xr-x   ..
-rw-r--r-- 2290 CMakeLists.txt
-rw-r--r-- 1646 bugged1.c
-rw-r--r-- 2449 bugged1.tesh
-rw-r--r-- 4036 bugged1_liveness.c
-rw-r--r-- 461 bugged1_liveness.h
-rw-r--r-- 3894 bugged1_liveness.tesh
-rw-r--r-- 11578 bugged1_liveness_visited.tesh
-rw-r--r-- 2244 bugged2.c
-rw-r--r-- 37915 bugged2.tesh
-rw-r--r-- 3255 bugged2_liveness.c
-rw-r--r-- 444 bugged2_liveness.h
-rw-r--r-- 2110 bugged3.c
-rw-r--r-- 3312 centralized.tesh
-rw-r--r-- 3656 centralized_mutex.c
-rw-r--r-- 459 deploy_bugged1.xml
-rw-r--r-- 356 deploy_bugged1_liveness.xml
-rw-r--r-- 357 deploy_bugged1_liveness_visited.xml
-rw-r--r-- 377 deploy_bugged2.xml
-rw-r--r-- 356 deploy_bugged2_liveness.xml
-rw-r--r-- 377 deploy_bugged3.xml
-rw-r--r-- 377 deploy_electric_fence.xml
-rw-r--r-- 926 deploy_mutex.xml
-rw-r--r-- 1814 electric_fence.c
-rw-r--r-- 702 platform.xml
-rw-r--r-- 177 promela_bugged1_liveness
-rw-r--r-- 194 promela_bugged2_liveness