.gitignore 2.87 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
Jean-Christophe Filliâtre's avatar
Jean-Christophe Filliâtre committed
5
why3.conf
6 7 8
*.cmx
*.cmo
*.cmi
François Bobot's avatar
François Bobot committed
9
*.cmxs
10
*.annot
Andrei Paskevich's avatar
Andrei Paskevich committed
11
*.dep
12 13 14
*.vo
*.vd
*.glob
François Bobot's avatar
François Bobot committed
15
\#*\#
16

Francois Bobot's avatar
Francois Bobot committed
17 18 19 20 21 22 23 24 25 26 27
# /
/config.status
/config.log
/autom4te.cache
/Makefile
/configure
/semantic.cache
/TAGS
/output_why3
/output_coq
/dep.pdf
MARCHE Claude's avatar
MARCHE Claude committed
28 29
/distrib
/META
MARCHE Claude's avatar
MARCHE Claude committed
30 31
/why3regtests.err
/why3regtests.out
Francois Bobot's avatar
Francois Bobot committed
32

33 34 35 36 37 38 39 40
# /bench/
/bench/programs/good/booleans/
/bench/programs/good/exceptions/
/bench/programs/good/for/
/bench/programs/good/list/
/bench/programs/good/see/
/bench/programs/good/set/
/bench/programs/good/recfun/
41 42 43
/bench/programs/good/loops/
/bench/programs/good/po/
/bench/valid/list/
44

Francois Bobot's avatar
Francois Bobot committed
45
# /bin/
46 47 48
/bin/why3.byte
/bin/why3.opt
/bin/why3
MARCHE Claude's avatar
MARCHE Claude committed
49 50 51
/bin/why3realize.byte
/bin/why3realize.opt
/bin/why3realize
52 53 54 55 56 57
/bin/why3ml.byte
/bin/why3ml.opt
/bin/why3ml
/bin/why3ide.byte
/bin/why3ide.opt
/bin/why3ide
58 59 60
/bin/why3gui.byte
/bin/why3gui.opt
/bin/why3gui
61
/bin/why3-cpulimit
62 63 64 65 66 67
/bin/why3config.byte
/bin/why3config.opt
/bin/why3config
/bin/why3bench.byte
/bin/why3bench.opt
/bin/why3bench
68 69
/bin/why3doc.byte
/bin/why3doc.opt
70
/bin/why3doc
71 72 73
/bin/why3replayer.byte
/bin/why3replayer.opt
/bin/why3replayer
74 75 76
/bin/why3html.byte
/bin/why3html.opt
/bin/why3html
77 78 79
/bin/why3stats.byte
/bin/why3stats.opt
/bin/why3stats
80
/bin/why3session.opt
81
/bin/why3session.byte
82
/bin/why3session
Francois Bobot's avatar
Francois Bobot committed
83 84 85

# /doc/
/doc/version.tex
MARCHE Claude's avatar
MARCHE Claude committed
86
/doc/ocamldoc.sty
Francois Bobot's avatar
Francois Bobot committed
87 88 89 90
/doc/*whizzy*
/doc/manual.wdvi
/doc/manual.raux
/doc/manual.log
91
/doc/manual.lof
Francois Bobot's avatar
Francois Bobot committed
92 93 94 95 96 97 98
/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
99
/doc/manual.rel
MARCHE Claude's avatar
MARCHE Claude committed
100 101 102 103
/doc/manual.glg
/doc/manual.glo
/doc/manual.gls
/doc/manual.ist
104
/doc/manual.out
Francois Bobot's avatar
Francois Bobot committed
105 106 107 108 109
/doc/*.haux
/doc/*.pdf
/doc/manual.html
/doc/*.hind
/doc/*.htoc
MARCHE Claude's avatar
MARCHE Claude committed
110 111 112
/doc/bnf
/doc/bnf.ml
/doc/*_bnf.tex
113
/doc/apidoc.tex
MARCHE Claude's avatar
MARCHE Claude committed
114
/doc/apidoc/
Francois Bobot's avatar
Francois Bobot committed
115 116

# /share/
Jean-Christophe Filliâtre's avatar
ignore  
Jean-Christophe Filliâtre committed
117
/share/provers-detection-data.conf
Francois Bobot's avatar
Francois Bobot committed
118 119 120
/share/emacs/semantic.cache

# /src/
Andrei Paskevich's avatar
minor  
Andrei Paskevich committed
121
/src/config.sh
Francois Bobot's avatar
Francois Bobot committed
122
/src/config.ml
123
/src/coq_config.ml
124
/src/*.cma
Francois Bobot's avatar
Francois Bobot committed
125
/src/*.cmxa
126
/src/*.a
Francois Bobot's avatar
Francois Bobot committed
127 128 129 130 131 132 133 134

# /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
135
/src/driver/driver_parser.output
Francois Bobot's avatar
Francois Bobot committed
136 137 138 139 140

# /src/parser/
/src/parser/lexer.ml
/src/parser/parser.ml
/src/parser/parser.mli
141
/src/parser/parser.output
Francois Bobot's avatar
Francois Bobot committed
142

143 144 145
# /src/ide/
/src/ide/xml.ml

146 147 148
# /src/why3doc/
/src/why3doc/to_html.ml

Francois Bobot's avatar
Francois Bobot committed
149 150 151
# /src/util/
/src/util/rc.ml

152 153 154
# /src/session
/src/session/xml.ml

Andrei Paskevich's avatar
Andrei Paskevich committed
155 156 157 158 159 160
# /plugins/tptp/
/plugins/tptp/tptp_lexer.ml
/plugins/tptp/tptp_parser.ml
/plugins/tptp/tptp_parser.mli
/plugins/tptp/tptp_parser.output

161 162 163
# /drivers
/drivers/coq-realizations.aux

Francois Bobot's avatar
Francois Bobot committed
164
# /tests/
165
/tests/test-jcf/
166
/tests/test-pgm-jcf/
MARCHE Claude's avatar
MARCHE Claude committed
167
/tests/test-claude/
168
/tests/test-and/
MARCHE Claude's avatar
MARCHE Claude committed
169 170

# /examples/
MARCHE Claude's avatar
MARCHE Claude committed
171
/examples/programs/course/
172
/examples/programs/wcet_hull/
173
/examples/programs/binary_search2/
Jean-Christophe Filliâtre's avatar
ignore  
Jean-Christophe Filliâtre committed
174
/examples/programs/vacid_0_red_black_trees_harness/
175
/examples/programs/next_digit_sum/
176 177 178 179 180
/examples/programs/algo63/
/examples/programs/algo64/
/examples/programs/algo65/
/examples/programs/binary_search_c/
/examples/programs/dijkstra/
181

182
# modules
183
/modules/string/
184
/modules/stack/
185
/modules/queue/
186
/modules/pqueue/
187