.gitignore 252 Bytes
Newer Older
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
.deps
Makefile
Makefile.in
defs
explicit
.libs
tgbaread
readsave
ltl2tgba
ltlprod
bddprod
explprod
*.ps
*.dot
tripprod
mixprod
spotlbtt
ltlmagic
expldot
powerset
reduccmp
reductgba
randtgba
blue_counter
input
output1
output2
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
28
eltl2tgba
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
29
30
intvcomp
taatgba