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