Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / why3
Commits: cbb8dfb9 by Ralf Treinen at 2018-12-18T03:10:05Z New upstream version 1.1.1 - - - - - 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 The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/why3/commit/cbb8dfb9a0e8fbe70c8d9a14eb268f30d98567c1 -- View it on GitLab: https://salsa.debian.org/ocaml-team/why3/commit/cbb8dfb9a0e8fbe70c8d9a14eb268f30d98567c1 You're receiving this email because of your account on salsa.debian.org.