.gitignore 3.43 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 6
*.svn
.*.swp
7
.why.conf
8 9
why.conf
.authors
10 11 12
*.cmx
*.cmo
*.cmi
François Bobot's avatar
François Bobot committed
13
*.cmxs
14
*.annot
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 28 29 30
# /
/config.status
/config.log
/autom4te.cache
/Makefile
/configure
/.depend.*
/semantic.cache
/TAGS
/depend.pdf
/output_why3
/output_coq
/apidoc
/dep.pdf
MARCHE Claude's avatar
MARCHE Claude committed
31 32
/distrib
/META
Francois Bobot's avatar
Francois Bobot committed
33 34 35

# /bench/
/bench/bench
36 37 38 39 40 41
/bench/programs/good/booleans/
/bench/programs/good/exceptions/
/bench/programs/good/for/
/bench/programs/good/list/
/bench/programs/good/see/
/bench/programs/good/set/
Jean-Christophe Filliatre's avatar
Jean-Christophe Filliatre committed
42
/bench/programs/good/recfun/
Francois Bobot's avatar
Francois Bobot committed
43 44 45 46 47 48 49

# /bench/plugins/
/bench/plugins/*.cm*
/bench/plugins/*.annot
/bench/plugins/config.log

# /bin/
50 51 52 53 54 55 56 57 58
/bin/why3.byte
/bin/why3.opt
/bin/why3
/bin/why3ml.byte
/bin/why3ml.opt
/bin/why3ml
/bin/why3ide.byte
/bin/why3ide.opt
/bin/why3ide
59
/bin/why3-cpulimit
60 61 62 63 64 65
/bin/why3config.byte
/bin/why3config.opt
/bin/why3config
/bin/why3bench.byte
/bin/why3bench.opt
/bin/why3bench
66 67
/bin/whytptp.byte
/bin/whytptp.opt
68 69
/bin/why3doc.byte
/bin/why3doc.opt
70
/bin/why3doc
Francois Bobot's avatar
Francois Bobot committed
71 72 73

# /doc/
/doc/version.tex
MARCHE Claude's avatar
MARCHE Claude committed
74
/doc/ocamldoc.sty
Francois Bobot's avatar
Francois Bobot committed
75 76 77 78
/doc/*whizzy*
/doc/manual.wdvi
/doc/manual.raux
/doc/manual.log
79
/doc/manual.lof
Francois Bobot's avatar
Francois Bobot committed
80 81 82 83 84 85 86
/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
87
/doc/manual.rel
MARCHE Claude's avatar
MARCHE Claude committed
88 89 90 91
/doc/manual.glg
/doc/manual.glo
/doc/manual.gls
/doc/manual.ist
Francois Bobot's avatar
Francois Bobot committed
92 93 94 95 96
/doc/*.haux
/doc/*.pdf
/doc/manual.html
/doc/*.hind
/doc/*.htoc
MARCHE Claude's avatar
MARCHE Claude committed
97 98 99
/doc/bnf
/doc/bnf.ml
/doc/*_bnf.tex
Francois Bobot's avatar
Francois Bobot committed
100 101 102 103

# /share/
/share/*.cm*
/share/*.annot
Jean-Christophe Filliatre's avatar
Jean-Christophe Filliatre committed
104
/share/provers-detection-data.conf
Francois Bobot's avatar
Francois Bobot committed
105 106 107 108 109

# /share/emacs/
/share/emacs/semantic.cache

# /src/
Andrei Paskevich's avatar
minor  
Andrei Paskevich committed
110
/src/config.sh
Francois Bobot's avatar
Francois Bobot committed
111 112 113 114 115 116 117 118 119 120 121
/src/config.ml
/src/*.annot
/src/*.cm[aiox]
/src/*.cmxa
/src/*.[ao]

# /src/coq-plugin/
/src/coq-plugin/*.cm*
/src/coq-plugin/*.annot
/src/coq-plugin/g_whytac.ml

122 123 124 125
# /src/config/
/src/config/*.cm*
/src/config/*.annot

Francois Bobot's avatar
Francois Bobot committed
126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141
# /src/core/
/src/core/*.cm*
/src/core/*.annot

# /src/driver/
/src/driver/*.annot
/src/driver/*.cm*
/src/driver/driver_parser.output
/src/driver/driver_lexer.ml
/src/driver/driver_parser.ml
/src/driver/driver_parser.mli

# /src/ide/
/src/ide/*.annot
/src/ide/*.cm*

MARCHE Claude's avatar
MARCHE Claude committed
142 143 144
# /src/bench/
/src/bench/*.annot
/src/bench/*.cm*
Francois Bobot's avatar
Francois Bobot committed
145 146 147 148 149 150 151 152

# /src/parser/
/src/parser/*.annot
/src/parser/*.cm*
/src/parser/parser.output
/src/parser/lexer.ml
/src/parser/parser.ml
/src/parser/parser.mli
153 154
/src/parser/parser.pre.ml
/src/parser/parser.pre.mli
Francois Bobot's avatar
Francois Bobot committed
155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191

# /src/printer/
/src/printer/*.cm*
/src/printer/*.annot
/src/printer/driver_lexer.ml
/src/printer/driver_parser.ml
/src/printer/driver_parser.mli
/src/printer/*.output

# /src/programs/
/src/programs/*.cm*
/src/programs/*.annot
/src/programs/pgm_parser.mli
/src/programs/pgm_parser.ml
/src/programs/pgm_lexer.ml
/src/programs/*.output

# /src/tptp2why/
/src/tptp2why/*.cm*
/src/tptp2why/*.annot
/src/tptp2why/tptpParser.mli
/src/tptp2why/tptpParser.ml
/src/tptp2why/tptpParser.conflicts
/src/tptp2why/tptpParser.automaton
/src/tptp2why/*.output
/src/tptp2why/tptpLexer.ml

# /src/transform/
/src/transform/*.cm*
/src/transform/*.annot

# /src/util/
/src/util/*.cm*
/src/util/*.annot
/src/util/dynlink_compat.ml
/src/util/rc.ml

192 193 194 195
# /src/why3doc
/src/why3doc/*.cm*
/src/why3doc/*.annot

Francois Bobot's avatar
Francois Bobot committed
196
# /tests/
197
/tests/test-jcf/
MARCHE Claude's avatar
MARCHE Claude committed
198 199 200 201
/tests/test-claude/

# /examples/
/examples/programs/my_cosine/*.gappa
Jean-Christophe Filliatre's avatar
Jean-Christophe Filliatre committed
202
/examples/my_cosine/
203
/examples/scottish-private-club/
MARCHE Claude's avatar
MARCHE Claude committed
204
/examples/hello_proof/
MARCHE Claude's avatar
MARCHE Claude committed
205
/examples/einstein/
206
/examples/genealogy/
MARCHE Claude's avatar
MARCHE Claude committed
207 208
/examples/programs/isqrt/
/examples/programs/course/
209
/examples/programs/wcet_hull/
210
/examples/programs/binary_search2/
Jean-Christophe Filliatre's avatar
Jean-Christophe Filliatre committed
211 212
/examples/programs/vacid_0_red_black_trees/
/examples/programs/vacid_0_red_black_trees_harness/
213 214 215 216 217

# theories
/theories/int/

# modules 
Jean-Christophe Filliatre's avatar
Jean-Christophe Filliatre committed
218
/modules/stdlib/
219
/modules/string/