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