Index of /ewscs/2019/alglave/tests

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[   ] simple.litmus           04-Mar-2019 07:51  214   
[   ] sc.cat                  04-Mar-2019 07:52   91   
[   ] sb-x86.litmus           04-Mar-2019 07:49  260   
[   ] mp-x86.litmus           04-Mar-2019 07:52  257   
[   ] mp-armv8.litmus         04-Mar-2019 07:53  354   
[   ] coWW-armv8.litmus       04-Mar-2019 07:55  203   
[   ] coWR-armv8.litmus       04-Mar-2019 07:58  191   
[   ] coRW2-armv8.litmus      04-Mar-2019 07:57  274   
[   ] coRW-armv8.litmus       04-Mar-2019 07:55  191   
[   ] coRR-armv8.litmus       04-Mar-2019 07:58  247
Apache/2.2.22 (Debian) Server at cs.ioc.ee Port 443