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