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