Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / why3
Commits:
-
cbb8dfb9
by Ralf Treinen at 2018-12-18T03:10:05Z
30 changed files:
- CHANGES.md
- Makefile.in
- Version
- bench/bench
- configure
- doc/manual.pdf
- doc/manual.tex
- src/core/ident.ml
- src/core/ident.mli
- src/mlw/cakeml_printer.ml
- src/mlw/compile.ml
- src/mlw/cprinter.ml
- src/mlw/ity.ml
- src/mlw/ity.mli
- src/mlw/mlinterp.ml
- src/mlw/mltree.ml
- src/mlw/ocaml_printer.ml
- src/mlw/pmodule.ml
- src/mlw/vc.ml
- src/session/controller_itp.ml
- src/session/controller_itp.mli
- src/session/itp_server.ml
- src/session/server_utils.ml
- src/tools/main.ml
- src/tools/why3wc.mll
- src/transform/apply.ml
- src/transform/generic_arg_trans_utils.ml
- src/transform/generic_arg_trans_utils.mli
- src/trywhy3/.merlin
- src/trywhy3/alt_ergo_worker.ml