Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
add the test of allReduce replay
[simgrid.git] / examples / msg / mc /
drwxr-xr-x   ..
-rw-r--r-- 3709 CMakeLists.txt
-rw-r--r-- 1642 bugged1.c
-rw-r--r-- 3471 bugged1.tesh
-rw-r--r-- 3141 bugged1_liveness.c
-rw-r--r-- 179 bugged1_liveness.h
-rw-r--r-- 4616 bugged1_liveness.tesh
-rw-r--r-- 2240 bugged2.c
-rw-r--r-- 67156 bugged2.tesh
-rw-r--r-- 2999 bugged2_liveness.c
-rw-r--r-- 162 bugged2_liveness.h
-rw-r--r-- 2106 bugged3.c
-rw-r--r-- 3312 centralized.tesh
-rw-r--r-- 3650 centralized_mutex.c
drwxr-xr-x - chord
-rw-r--r-- 459 deploy_bugged1.xml
-rw-r--r-- 1002 deploy_bugged1_liveness.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-- 926 deploy_mutex.xml
-rw-r--r-- 468 deploy_random_test.xml
-rw-r--r-- 2423 parse_dwarf
-rw-r--r-- 693 platform.xml
-rw-r--r-- 177 promela_bugged1_liveness
-rw-r--r-- 194 promela_bugged2_liveness
-rw-r--r-- 561 random_test.c
drwxr-xr-x - test