.gitignore 2.42 KB
Newer Older
1
*.tmp
Claude Marche's avatar
Claude Marche committed
2
*~
MARCHE Claude's avatar
MARCHE Claude committed
3
*.bak
Francois Bobot's avatar
Francois Bobot committed
4
*.o
Simon Cruanes's avatar
Simon Cruanes committed
5
.*.swp
6
why.conf
7
8
9
*.cmx
*.cmo
*.cmi
François Bobot's avatar
François Bobot committed
10
*.cmxs
11
*.annot
François Bobot's avatar
François Bobot committed
12
\#*\#
13

Francois Bobot's avatar
Francois Bobot committed
14
15
16
17
18
19
20
21
22
23
24
25
# /
/config.status
/config.log
/autom4te.cache
/Makefile
/configure
/.depend.*
/semantic.cache
/TAGS
/output_why3
/output_coq
/dep.pdf
MARCHE Claude's avatar
MARCHE Claude committed
26
27
/distrib
/META
Francois Bobot's avatar
Francois Bobot committed
28
29

# /bin/
30
31
32
33
34
35
36
37
38
/bin/why3.byte
/bin/why3.opt
/bin/why3
/bin/why3ml.byte
/bin/why3ml.opt
/bin/why3ml
/bin/why3ide.byte
/bin/why3ide.opt
/bin/why3ide
39
/bin/why3-cpulimit
40
41
42
43
44
45
/bin/why3config.byte
/bin/why3config.opt
/bin/why3config
/bin/why3bench.byte
/bin/why3bench.opt
/bin/why3bench
46
47
/bin/why3doc.byte
/bin/why3doc.opt
48
/bin/why3doc
Francois Bobot's avatar
Francois Bobot committed
49
50
51

# /doc/
/doc/version.tex
MARCHE Claude's avatar
MARCHE Claude committed
52
/doc/ocamldoc.sty
Francois Bobot's avatar
Francois Bobot committed
53
54
55
56
/doc/*whizzy*
/doc/manual.wdvi
/doc/manual.raux
/doc/manual.log
57
/doc/manual.lof
Francois Bobot's avatar
Francois Bobot committed
58
59
60
61
62
63
64
/doc/manual.toc
/doc/manual.aux
/doc/manual.bbl
/doc/manual.blg
/doc/manual.ind
/doc/manual.ilg
/doc/manual.idx
MARCHE Claude's avatar
MARCHE Claude committed
65
/doc/manual.rel
MARCHE Claude's avatar
MARCHE Claude committed
66
67
68
69
/doc/manual.glg
/doc/manual.glo
/doc/manual.gls
/doc/manual.ist
70
/doc/manual.out
Francois Bobot's avatar
Francois Bobot committed
71
72
73
74
75
/doc/*.haux
/doc/*.pdf
/doc/manual.html
/doc/*.hind
/doc/*.htoc
MARCHE Claude's avatar
MARCHE Claude committed
76
77
78
/doc/bnf
/doc/bnf.ml
/doc/*_bnf.tex
79
80
/doc/apidoc.tex
/doc/apidoc/*.html
Francois Bobot's avatar
Francois Bobot committed
81
82

# /share/
Jean-Christophe Filliâtre's avatar
ignore    
Jean-Christophe Filliâtre committed
83
/share/provers-detection-data.conf
Francois Bobot's avatar
Francois Bobot committed
84
85
86
/share/emacs/semantic.cache

# /src/
Andrei Paskevich's avatar
minor    
Andrei Paskevich committed
87
/src/config.sh
Francois Bobot's avatar
Francois Bobot committed
88
/src/config.ml
89
/src/*.cma
Francois Bobot's avatar
Francois Bobot committed
90
/src/*.cmxa
91
/src/*.a
Francois Bobot's avatar
Francois Bobot committed
92
93
94
95
96
97
98
99

# /src/coq-plugin/
/src/coq-plugin/g_whytac.ml

# /src/driver/
/src/driver/driver_lexer.ml
/src/driver/driver_parser.ml
/src/driver/driver_parser.mli
100
/src/driver/driver_parser.output
Francois Bobot's avatar
Francois Bobot committed
101
102
103
104
105

# /src/parser/
/src/parser/lexer.ml
/src/parser/parser.ml
/src/parser/parser.mli
106
107
/src/parser/parser.pre.ml
/src/parser/parser.pre.mli
108
/src/parser/parser.pre.output
Francois Bobot's avatar
Francois Bobot committed
109
110

# /src/tptp2why/
111
/src/tptp2why/tptpLexer.ml
Francois Bobot's avatar
Francois Bobot committed
112
/src/tptp2why/tptpParser.ml
113
114
/src/tptp2why/tptpParser.mli
/src/tptp2why/tptpParser.output
Francois Bobot's avatar
Francois Bobot committed
115
/src/tptp2why/tptpParser.automaton
116
/src/tptp2why/tptpParser.conflicts
Francois Bobot's avatar
Francois Bobot committed
117
118
119
120
121

# /src/util/
/src/util/rc.ml

# /tests/
122
/tests/test-jcf/
123
/tests/test-pgm-jcf/
MARCHE Claude's avatar
MARCHE Claude committed
124
125
126
/tests/test-claude/

# /examples/
Jean-Christophe Filliâtre's avatar
ignore    
Jean-Christophe Filliâtre committed
127
/examples/my_cosine/
128
/examples/scottish-private-club/
MARCHE Claude's avatar
MARCHE Claude committed
129
/examples/hello_proof/
MARCHE Claude's avatar
MARCHE Claude committed
130
/examples/einstein/
131
/examples/genealogy/
MARCHE Claude's avatar
MARCHE Claude committed
132
133
/examples/programs/isqrt/
/examples/programs/course/
134
/examples/programs/wcet_hull/
135
/examples/programs/my_cosine/
136
/examples/programs/binary_search2/
137
/examples/programs/vacid_0_sparse_array/
Jean-Christophe Filliâtre's avatar
ignore    
Jean-Christophe Filliâtre committed
138
139
/examples/programs/vacid_0_red_black_trees/
/examples/programs/vacid_0_red_black_trees_harness/
140
141
142
143
144
145
146
/examples/programs/next_digit_sum/
/examples/programs/vstte10_max_sum/
/examples/programs/vstte10_search_list/
/examples/programs/vstte10_aqueue/
/examples/programs/insertion_sort_list/
/examples/programs/mergesort_list/
/examples/programs/binary_search/
147