.gitignore

   1
   2 *.tmp
   3 *~
   4 *.bak
   5 *.o
   6 *.a
   7 why3.conf
   8 *.cmx
   9 *.cmo
  10 *.cmi
  11 *.cmxs
  12 *.cma
  13 *.cmxa
  14 *.cmt
  15 *.cmti
  16 *.annot
  17 *.dep
  18 *.vo
  19 *.vd
  20 *.vok
  21 *.vos
  22 *.glob
  23 .*.aux
  24 *.elc
  25 *.summary
  26 .merlin
  27 \#*\#
  28
  29 # /
  30 /config.status
  31 /config.log
  32 /autom4te.cache
  33 /Makefile
  34 /configure
  35 /semantic.cache
  36 /TAGS
  37 /output_why3
  38 /output_coq
  39 /dep.pdf
  40 /distrib
  41 /why3regtests.err
  42 /why3regtests.out
  43 /src/jessie/.merlin
  44 /_build
  45 /public
  46
  47 # /bench/
  48 /bench/extraction/test/test.*
  49 /bench/extraction/test/main.opt
  50 /bench/extraction/interface1/interface1.*
  51 /bench/extraction/interface1/main.opt
  52 /bench/programs/good/booleans/
  53 /bench/programs/good/exceptions/
  54 /bench/programs/good/for/
  55 /bench/programs/good/list/
  56 /bench/programs/good/see/
  57 /bench/programs/good/set/
  58 /bench/programs/good/recfun/
  59 /bench/programs/good/loops/
  60 /bench/programs/good/po/
  61 /bench/valid/list/
  62 /bench/infer/*.out
  63 /bench/check-ce/*.out
  64 /bench/check-ce/petiot2018/*.out
  65 /bench/check-ce/petiot2018/experiments/
  66 /bench/parsing/bad/*.out
  67 #/bench/alt_ergo_smt/sessions
  68 /bench/alt_ergo_smt2/sessions
  69 /bench_z3_computerdiv
  70 /bench/z3_nombqi/bench_z3_nombqi/sessions
  71
  72
  73 /examples/tests/*.out
  74
  75 # /bin/
  76 /bin/why3.byte
  77 /bin/why3.opt
  78 /bin/why3
  79 /bin/isabelle_client.opt
  80 /bin/isabelle_client.byte
  81 /bin/isabelle_client
  82
  83 # /doc/
  84 /doc/*whizzy*
  85 /doc/generated/
  86 /doc/html/
  87 /doc/latex/
  88 /doc/apidoc.tex
  89 /doc/apidoc/
  90 /doc/stdlibdoc/
  91 /doc/_build
  92 /doc/.doctrees/
  93
  94 /public/
  95
  96 # /lib
  97 /lib/why3-cpulimit
  98 /lib/why3-cpulimit.exe
  99 /lib/why3cpulimit
 100 /lib/why3cpulimit.exe
 101 /lib/why3server
 102 /lib/why3server.exe
 103
 104 # /lib/why3/
 105 /lib/why3/META
 106
 107 # /share/
 108 /share/emacs/semantic.cache
 109 /share/Makefile.config
 110 /share/drivers
 111 /share/extraction_drivers
 112 /share/stdlib
 113
 114 # /src/
 115 /src/config.sh
 116
 117 # Coq
 118 /lib/coq/version
 119 .lia.cache
 120
 121 # PVS
 122 .pvscontext
 123 orphaned-proofs.prf
 124 /lib/pvs/version
 125 /lib/pvs/*/*.summary
 126 pvsbin/
 127
 128 # Isabelle
 129 /lib/isabelle/bool/
 130 /lib/isabelle/int/
 131 /lib/isabelle/number/
 132 /lib/isabelle/list/
 133 /lib/isabelle/map/
 134 /lib/isabelle/real/
 135 /lib/isabelle/set/
 136 /lib/isabelle/ROOT
 137 /lib/isabelle/Why3_BV.thy
 138 /lib/isabelle/Why3_Map.thy
 139 /lib/isabelle/why3.ML
 140 /lib/isabelle/last_build
 141 /lib/isabelle/bv
 142
 143 # /src/core/
 144 /src/core/parser_tokens.ml
 145 /src/core/parser_tokens.mli
 146
 147 # /src/driver/
 148 /src/driver/driver_lexer.ml
 149 /src/driver/driver_parser.ml
 150 /src/driver/driver_parser.mli
 151 /src/driver/driver_parser.conflicts
 152 /src/driver/sexp.ml
 153 /src/driver/sexp.mli
 154
 155 # /src/parser/
 156 /src/parser/lexer.ml
 157 /src/parser/parser.ml
 158 /src/parser/parser.mli
 159 /src/parser/parser.conflicts
 160 /src/parser/handcrafted.messages.temp
 161 /src/parser/parser_messages.ml
 162
 163 # /src/why3doc/
 164 /src/why3doc/doc_lexer.ml
 165
 166 # /src/util/
 167 /src/util/config.ml
 168 /src/util/lexlib.ml
 169 /src/util/rc.ml
 170 /src/util/re.ml
 171 /src/util/json_lexer.ml
 172 /src/util/json_parser.mli
 173 /src/util/json_parser.ml
 174 /src/util/json_parser.conflicts
 175 /src/util/mlmpfr_wrapper.ml
 176 /src/util/mysexplib.ml
 177 /src/util/ppx_debug_optim
 178
 179 # /src/session
 180 /src/session/xml.ml
 181 /src/session/compress.ml
 182 /src/session/strategy_parser.ml
 183
 184 # /src/tools
 185 /src/tools/why3wc.ml
 186 /src/tools/why3pp_sexp.ml
 187
 188 # /src/ide
 189 /src/ide/gtkcompat.ml
 190 /src/ide/why3_js.byte
 191 /src/ide/why3_js.js
 192
 193 # /plugins/tptp/
 194 /plugins/tptp/tptp_lexer.ml
 195 /plugins/tptp/tptp_parser.ml
 196 /plugins/tptp/tptp_parser.mli
 197 /plugins/tptp/tptp_parser.conflicts
 198 /plugins/parser/dimacs.ml
 199
 200 # /plugins/python/
 201 /plugins/python/py_lexer.ml
 202 /plugins/python/py_parser.ml
 203 /plugins/python/py_parser.mli
 204 /plugins/python/py_parser.conflicts
 205
 206 # /plugins/microc/
 207 /plugins/microc/mc_lexer.ml
 208 /plugins/microc/mc_parser.ml
 209 /plugins/microc/mc_parser.mli
 210 /plugins/microc/test/
 211 /plugins/microc/mc_parser.conflicts
 212
 213 # /plugins/coma/
 214 /plugins/coma/coma_lexer.ml
 215 /plugins/coma/coma_parser.ml
 216 /plugins/coma/coma_parser.mli
 217 /plugins/coma/coma_parser.conflicts
 218
 219 # /plugins/cfg/
 220 /plugins/cfg/cfg_lexer.ml
 221 /plugins/cfg/cfg_parser.ml
 222 /plugins/cfg/cfg_parser.mli
 223 /plugins/cfg/cfg_parser.conflicts
 224
 225 # /drivers
 226 /drivers/coq-realizations.aux
 227 /drivers/pvs-realizations.aux
 228 /drivers/isabelle-realizations.aux
 229
 230 # /tests/
 231 /tests/test/
 232 /tests/test-jcf/
 233 /tests/test-pgm-jcf/
 234 /tests/test-claude/
 235 /tests/test-and/
 236 /tests/python/*/why3session.xml
 237 /tests/python/*/why3shapes.gz
 238 /tests/microc/*/why3session.xml
 239 /tests/microc/*/why3shapes.gz
 240
 241 # /examples/
 242 /examples/use_api/results
 243 /examples/use_api/epsilon.sexp
 244 /examples/in_progress/course/
 245 /examples/in_progress/wcet_hull/
 246 /examples/in_progress/binary_search2/
 247 /examples/in_progress/binary_search_c/
 248 /examples/in_progress/vacid_0_red_black_trees_harness/
 249 /examples/why3bench.html
 250 /examples/why3regtests.err
 251 /examples/why3regtests.out
 252 /examples/*/*.opt
 253 /examples/*/*.byte
 254 /examples/in_progress/*/*.opt
 255 /examples/in_progress/*/*.byte
 256 /examples/*.html
 257 /examples/*/*.html
 258 !/examples/*/index.html
 259 /examples/*/*/*.html
 260 !/examples/*/*/index.html
 261 /examples/*/*/*/*.html
 262 !/examples/*/*/*/index.html
 263 /examples/style.css
 264 /examples/*/style.css
 265 /examples/*/*/style.css
 266 /examples/*/*/*/style.css
 267 /examples/*/*.tex
 268 /examples/*/*/*.tex
 269 /examples/*/*/*/*.tex
 270 /examples/split_string/split_string.ml
 271 /examples/residual/residual.ml
 272 /examples/vstte10_max_sum/vstte10_max_sum.ml
 273 /examples/euler001/euler001.ml
 274 /examples/sudoku/sudoku.ml
 275 /examples/sudoku/jsmain.js
 276 /examples/in_progress/sudoku_reloaded/*__*.ml
 277 /examples/in_progress/sudoku_reloaded/jsmain.js
 278 /examples/gcd/euclideanAlgorithm63.ml
 279 /examples/gcd/jsmain.js
 280 /examples/defunctionalization/defunctionalization.ml
 281 /examples/vstte12_combinators/jsmain.js
 282 /examples/vstte12_combinators/vstte12_combinators.ml
 283 /examples/in_progress/bigInt/jsmain.js
 284 /examples/in_progress/bigInt/*__*.ml
 285 /examples/in_progress/mp/jsmain.js
 286 /examples/in_progress/mp/*__*.ml
 287 /examples/prover/.depend
 288 /examples/prover/prover
 289 /examples/prover/prover.ml
 290 /examples/prover/bench/*/*.out
 291 /examples/prover/bench/*/*.txt
 292 /examples/prover/bench1
 293 /examples/prover/bench2
 294 /examples/prover/macro_generator/depend
 295 /examples/prover/macro_generator/build
 296
 297 # Try Why3
 298 /src/trywhy3/trywhy3.byte
 299 /src/trywhy3/trywhy3.js
 300 /src/trywhy3/trywhy3.map
 301 /src/trywhy3/why3_worker.byte
 302 /src/trywhy3/why3_worker.js
 303 /src/trywhy3/why3_worker.map
 304 /src/trywhy3/json_*.ml
 305 /src/trywhy3/json_*.mli
 306 /src/trywhy3/index.en.html
 307 /src/trywhy3/index.fr.html
 308 /src/trywhy3/index.html
 309 /src/trywhy3/ace-builds/
 310 /src/trywhy3/*.png
 311 /src/trywhy3/alt-ergo*
 312 /src/trywhy3/fontawesome/
 313
 314 # IDE
 315 /src/ide/fontawesome
 316 /src/ide/ace-builds
 317
 318 # jessie3
 319 /src/jessie/config.log
 320 /src/jessie/Makefile
 321 /src/jessie/literals.ml
 322 /src/jessie/tests/ptests_config
 323 /src/jessie/tests/basic/result/*.log
 324 /src/jessie/tests/demo/result/*.log
 325
 326 /trash
 327 trywhy3.tar.gz
 328
 329 # Opam
 330
 331 _opam/