.gitignore 588 Bytes
Newer Older
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
1
acc
2
apcollect
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
3
bddprod
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
4
bitvect
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
5
blue_counter
6
checkpsl
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
7
checkta
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
8
complement
9
consterm
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
10
defs
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
11
12
13
.deps
*.dot
eltl2tgba
14
emptchk
15
16
17
defs
equals
expect
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
18
expldot
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
19
explicit
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
20
explicit2
21
explicit3
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
22
explprod
23
24
graph
genltl
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
25
26
27
input
intvcomp
intvcmp2
28
29
kind
length
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
30
31
.libs
ltl2tgba
32
33
ltl2dot
ltl2text
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
34
ltlmagic
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
35
ltlprod
36
37
ltlrel
lunabbrev
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
38
39
Makefile
Makefile.in
40
maskacc
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
41
mixprod
42
43
44
nequals
nenoform
ngraph
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
45
46
output1
output2
47
parse_print
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
48
powerset
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
49
*.ps
50
randltl
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
51
randtgba
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
52
readsat
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
53
readsave
54
55
56
57
reduc
reduceu
reductau
reductaustr
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
58
59
reduccmp
reductgba
60
stdout
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
61
spotlbtt
62
syntimpl
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
63
taatgba
64
tgbagraph
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
65
tgbaread
66
tostring
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
67
tripprod
68
69
70
tunabbrev
tunenoform
unabbrevwm