.gitignore 41 Bytes
Newer Older
1
ltlfilt
2
3
4
5
6
7
ltl2tgba
randltl
genltl
*.a
*.1