.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 /bench/java/Makefile
  75 /bench/java/generated
  76
  77 # /bin/
  78 /bin/why3.byte
  79 /bin/why3.opt
  80 /bin/why3
  81 /bin/isabelle_client.opt
  82 /bin/isabelle_client.byte
  83 /bin/isabelle_client
  84
  85 # /doc/
  86 /doc/*whizzy*
  87 /doc/generated/
  88 /doc/html/
  89 /doc/latex/
  90 /doc/apidoc.tex
  91 /doc/apidoc/
  92 /doc/stdlibdoc/
  93 /doc/_build
  94 /doc/.doctrees/
  95 /doc/javaexamples/Makefile
  96
  97 /public/
  98
  99 # /lib
 100 /lib/why3-cpulimit
 101 /lib/why3-cpulimit.exe
 102 /lib/why3cpulimit
 103 /lib/why3cpulimit.exe
 104 /lib/why3server
 105 /lib/why3server.exe
 106
 107 # /lib/why3/
 108 /lib/why3/META
 109
 110 # /share/
 111 /share/emacs/semantic.cache
 112 /share/Makefile.config
 113 /share/drivers
 114 /share/extraction_drivers
 115 /share/stdlib
 116
 117 # /src/
 118 /src/config.sh
 119
 120 # Coq
 121 /lib/coq/version
 122 .lia.cache
 123
 124 # PVS
 125 .pvscontext
 126 orphaned-proofs.prf
 127 /lib/pvs/version
 128 /lib/pvs/*/*.summary
 129 pvsbin/
 130
 131 # Isabelle
 132 /lib/isabelle/bool/
 133 /lib/isabelle/int/
 134 /lib/isabelle/number/
 135 /lib/isabelle/list/
 136 /lib/isabelle/map/
 137 /lib/isabelle/real/
 138 /lib/isabelle/set/
 139 /lib/isabelle/ROOT
 140 /lib/isabelle/Why3_BV.thy
 141 /lib/isabelle/Why3_Map.thy
 142 /lib/isabelle/why3.ML
 143 /lib/isabelle/last_build
 144 /lib/isabelle/bv
 145
 146 # /src/core/
 147 /src/core/parser_tokens.ml
 148 /src/core/parser_tokens.mli
 149
 150 # /src/driver/
 151 /src/driver/driver_lexer.ml
 152 /src/driver/driver_parser.ml
 153 /src/driver/driver_parser.mli
 154 /src/driver/driver_parser.conflicts
 155 /src/driver/sexp.ml
 156 /src/driver/sexp.mli
 157
 158 # /src/parser/
 159 /src/parser/lexer.ml
 160 /src/parser/parser.ml
 161 /src/parser/parser.mli
 162 /src/parser/parser.conflicts
 163 /src/parser/handcrafted.messages.temp
 164 /src/parser/parser_messages.ml
 165
 166 # /src/why3doc/
 167 /src/why3doc/doc_lexer.ml
 168
 169 # /src/util/
 170 /src/util/config.ml
 171 /src/util/lexlib.ml
 172 /src/util/rc.ml
 173 /src/util/re.ml
 174 /src/util/json_lexer.ml
 175 /src/util/json_parser.mli
 176 /src/util/json_parser.ml
 177 /src/util/json_parser.conflicts
 178 /src/util/mlmpfr_wrapper.ml
 179 /src/util/mysexplib.ml
 180 /src/util/ppx_debug_optim
 181
 182 # /src/session
 183 /src/session/xml.ml
 184 /src/session/compress.ml
 185 /src/session/strategy_parser.ml
 186
 187 # /src/tools
 188 /src/tools/why3wc.ml
 189 /src/tools/why3pp_sexp.ml
 190
 191 # /src/ide
 192 /src/ide/gtkcompat.ml
 193 /src/ide/why3_js.byte
 194 /src/ide/why3_js.js
 195
 196 # /plugins/tptp/
 197 /plugins/tptp/tptp_lexer.ml
 198 /plugins/tptp/tptp_parser.ml
 199 /plugins/tptp/tptp_parser.mli
 200 /plugins/tptp/tptp_parser.conflicts
 201 /plugins/parser/dimacs.ml
 202
 203 # /plugins/python/
 204 /plugins/python/py_lexer.ml
 205 /plugins/python/py_parser.ml
 206 /plugins/python/py_parser.mli
 207 /plugins/python/py_parser.conflicts
 208
 209 # /plugins/microc/
 210 /plugins/microc/mc_lexer.ml
 211 /plugins/microc/mc_parser.ml
 212 /plugins/microc/mc_parser.mli
 213 /plugins/microc/test/
 214 /plugins/microc/mc_parser.conflicts
 215
 216 # /plugins/coma/
 217 /plugins/coma/coma_lexer.ml
 218 /plugins/coma/coma_parser.ml
 219 /plugins/coma/coma_parser.mli
 220 /plugins/coma/coma_parser.conflicts
 221
 222 # /plugins/cfg/
 223 /plugins/cfg/cfg_lexer.ml
 224 /plugins/cfg/cfg_parser.ml
 225 /plugins/cfg/cfg_parser.mli
 226 /plugins/cfg/cfg_parser.conflicts
 227
 228 # /drivers
 229 /drivers/coq-realizations.aux
 230 /drivers/pvs-realizations.aux
 231 /drivers/isabelle-realizations.aux
 232
 233 # /tests/
 234 /tests/test/
 235 /tests/test-jcf/
 236 /tests/test-pgm-jcf/
 237 /tests/test-claude/
 238 /tests/test-and/
 239 /tests/python/*/why3session.xml
 240 /tests/python/*/why3shapes.gz
 241 /tests/microc/*/why3session.xml
 242 /tests/microc/*/why3shapes.gz
 243
 244 # /examples/
 245 /examples/use_api/results
 246 /examples/use_api/epsilon.sexp
 247 /examples/in_progress/course/
 248 /examples/in_progress/wcet_hull/
 249 /examples/in_progress/binary_search2/
 250 /examples/in_progress/binary_search_c/
 251 /examples/in_progress/vacid_0_red_black_trees_harness/
 252 /examples/why3bench.html
 253 /examples/why3regtests.err
 254 /examples/why3regtests.out
 255 /examples/*/*.opt
 256 /examples/*/*.byte
 257 /examples/in_progress/*/*.opt
 258 /examples/in_progress/*/*.byte
 259 /examples/*.html
 260 /examples/*/*.html
 261 !/examples/*/index.html
 262 /examples/*/*/*.html
 263 !/examples/*/*/index.html
 264 /examples/*/*/*/*.html
 265 !/examples/*/*/*/index.html
 266 /examples/style.css
 267 /examples/*/style.css
 268 /examples/*/*/style.css
 269 /examples/*/*/*/style.css
 270 /examples/*/*.tex
 271 /examples/*/*/*.tex
 272 /examples/*/*/*/*.tex
 273 /examples/split_string/split_string.ml
 274 /examples/residual/residual.ml
 275 /examples/vstte10_max_sum/vstte10_max_sum.ml
 276 /examples/euler001/euler001.ml
 277 /examples/sudoku/sudoku.ml
 278 /examples/sudoku/jsmain.js
 279 /examples/in_progress/sudoku_reloaded/*__*.ml
 280 /examples/in_progress/sudoku_reloaded/jsmain.js
 281 /examples/gcd/euclideanAlgorithm63.ml
 282 /examples/gcd/jsmain.js
 283 /examples/defunctionalization/defunctionalization.ml
 284 /examples/vstte12_combinators/jsmain.js
 285 /examples/vstte12_combinators/vstte12_combinators.ml
 286 /examples/in_progress/bigInt/jsmain.js
 287 /examples/in_progress/bigInt/*__*.ml
 288 /examples/in_progress/mp/jsmain.js
 289 /examples/in_progress/mp/*__*.ml
 290 /examples/prover/.depend
 291 /examples/prover/prover
 292 /examples/prover/prover.ml
 293 /examples/prover/bench/*/*.out
 294 /examples/prover/bench/*/*.txt
 295 /examples/prover/bench1
 296 /examples/prover/bench2
 297 /examples/prover/macro_generator/depend
 298 /examples/prover/macro_generator/build
 299
 300 # Try Why3
 301 /src/trywhy3/trywhy3.byte
 302 /src/trywhy3/trywhy3.js
 303 /src/trywhy3/trywhy3.map
 304 /src/trywhy3/why3_worker.byte
 305 /src/trywhy3/why3_worker.js
 306 /src/trywhy3/why3_worker.map
 307 /src/trywhy3/json_*.ml
 308 /src/trywhy3/json_*.mli
 309 /src/trywhy3/index.en.html
 310 /src/trywhy3/index.fr.html
 311 /src/trywhy3/index.html
 312 /src/trywhy3/ace-builds/
 313 /src/trywhy3/*.png
 314 /src/trywhy3/alt-ergo*
 315 /src/trywhy3/fontawesome/
 316
 317 # IDE
 318 /src/ide/fontawesome
 319 /src/ide/ace-builds
 320
 321 # jessie3
 322 /src/jessie/config.log
 323 /src/jessie/Makefile
 324 /src/jessie/literals.ml
 325 /src/jessie/tests/ptests_config
 326 /src/jessie/tests/basic/result/*.log
 327 /src/jessie/tests/demo/result/*.log
 328
 329 /trash
 330 trywhy3.tar.gz
 331
 332 # Opam
 333
 334 _opam/