Index of /current/test/attic/data/

../
llvm/                                              31-Dec-2021 15:15                   -
B.prop1.dve                                        31-Dec-2021 15:15                 315
abp.m                                              31-Dec-2021 15:15                4984
adash.m                                            31-Dec-2021 15:15               88819
assert.dve                                         31-Dec-2021 15:15                 179
assert2.dve                                        31-Dec-2021 15:15                 179
bridge.ltl                                         31-Dec-2021 15:15                 288
bridge.xml                                         31-Dec-2021 15:15                3165
channels.dve                                       31-Dec-2021 15:15                 280
coffee.coin                                        31-Dec-2021 15:15                 766
empty.dve                                          31-Dec-2021 15:15                  49
empty.dve.dot                                      31-Dec-2021 15:15                  93
global-bug.ll                                      31-Dec-2021 15:15              397279
global-ok.ll                                       31-Dec-2021 15:15              398278
haoEEDM.dve                                        31-Dec-2021 15:15                3168
haoEEDM.dve.dot                                    31-Dec-2021 15:15               19524
input.dve                                          31-Dec-2021 15:15                 143
leader_election.dve                                31-Dec-2021 15:15                4334
ltltest1.dve                                       31-Dec-2021 15:15                 179
ltltest2.dve                                       31-Dec-2021 15:15                 179
peterson-liveness.dve                              31-Dec-2021 15:15                3297
peterson-naive.dve                                 31-Dec-2021 15:15                2534
peterson.dve                                       31-Dec-2021 15:15                2022
peterson.ltl                                       31-Dec-2021 15:15                 381
peterson.mdve                                      31-Dec-2021 15:15                 837
por.dve                                            31-Dec-2021 15:15                 242
proc_instance.dve                                  31-Dec-2021 15:15                 220
proc_instance2.dve                                 31-Dec-2021 15:15                 215
proc_instance3.dve                                 31-Dec-2021 15:15                 231
proc_instance4.dve                                 31-Dec-2021 15:15                 227
sci.m                                              31-Dec-2021 15:15              148921
shuffle.dve                                        31-Dec-2021 15:15                 517
simple.c                                           31-Dec-2021 15:15                1941
test1-prop.dve                                     31-Dec-2021 15:15                 341
test1.dve                                          31-Dec-2021 15:15                 346
test1.dve.dot                                      31-Dec-2021 15:15                 341
test2.dve                                          31-Dec-2021 15:15                 350
test2.dve.dot                                      31-Dec-2021 15:15                 171
test3.dve                                          31-Dec-2021 15:15                 346
test3.dve.dot                                      31-Dec-2021 15:15                 295
test4.dve                                          31-Dec-2021 15:15                 286
test4.dve.dot                                      31-Dec-2021 15:15                 214
test5.dve                                          31-Dec-2021 15:15                 286
test5.dve.dot                                      31-Dec-2021 15:15                 214
test6.dve                                          31-Dec-2021 15:15                 314
test6.dve.dot                                      31-Dec-2021 15:15                 253
timed_arithm.xml                                   31-Dec-2021 15:15                9745
timed_clock.xml                                    31-Dec-2021 15:15                6605
vararray.dve                                       31-Dec-2021 15:15                 148
withltl.c                                          16-Jun-2022 01:02                2721
withltl.ltl                                        31-Dec-2021 15:15                  34
zeno.ltl                                           31-Dec-2021 15:15                  35
zeno.xml                                           31-Dec-2021 15:15                1091