Index of /backup/Documents/uni/Master/PSV/PSV-project-old/dist-newstyle/src/gclparser-9eb3b36610aa5002/examples/

../
benchmark/                                         21-Sep-2024 13:26                   -
examplesHaskellZ3/                                 21-Sep-2024 13:26                   -
E.gcl                                              21-Sep-2024 13:26                 136
S1.gcl                                             21-Sep-2024 13:26                 240
min.gcl                                            21-Sep-2024 13:26                 200
minind.gcl                                         21-Sep-2024 13:26                 535
reftest.gcl                                        21-Sep-2024 13:26                 297
reverse.gcl                                        21-Sep-2024 13:26                 307
swap.gcl                                           21-Sep-2024 13:26                 426
test.gcl                                           21-Sep-2024 13:26                 404