Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
today is doomsday: platform.xml is sacrificed for the greater good
[simgrid.git] / examples / msg / mc /
drwxr-xr-x   ..
-rw-r--r-- 2272 CMakeLists.txt
-rw-r--r-- 1612 bugged1.c
-rw-r--r-- 2292 bugged1.tesh
-rw-r--r-- 4398 bugged1_liveness.c
-rw-r--r-- 383 bugged1_liveness.h
-rw-r--r-- 4090 bugged1_liveness.tesh
-rw-r--r-- 4130 bugged1_liveness_sparse.tesh
-rwxr-xr-x 1217 bugged1_liveness_stack_cleaner
-rw-r--r-- 11908 bugged1_liveness_visited.tesh
-rw-r--r-- 11948 bugged1_liveness_visited_sparse.tesh
-rw-r--r-- 2330 bugged2.c
-rw-r--r-- 37471 bugged2.tesh
-rw-r--r-- 3018 bugged2_liveness.c
-rw-r--r-- 366 bugged2_liveness.h
-rw-r--r-- 2052 bugged3.c
-rw-r--r-- 3562 centralized_mutex.c
-rw-r--r-- 3298 centralized_mutex.tesh
-rw-r--r-- 459 deploy_bugged1.xml
-rw-r--r-- 364 deploy_bugged1_liveness.xml
-rw-r--r-- 368 deploy_bugged1_liveness_visited.xml
-rw-r--r-- 379 deploy_bugged2.xml
-rw-r--r-- 364 deploy_bugged2_liveness.xml
-rw-r--r-- 376 deploy_bugged3.xml
-rw-r--r-- 893 deploy_centralized_mutex.xml
-rw-r--r-- 379 deploy_electric_fence.xml
-rw-r--r-- 1752 electric_fence.c
-rw-r--r-- 706 platform.xml
-rw-r--r-- 177 promela_bugged1_liveness
-rw-r--r-- 194 promela_bugged2_liveness