Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / why3
Commits: 3721ad4b by Ralf Treinen at 2019-02-14T10:00:50Z New upstream version 1.2.0 - - - - - 30 changed files: - .merlin.in - CHANGES.md - Makefile.in - Version - why3-coq.opam/files/run_autoconf_if_needed.sh → autogen.sh - bench/bench - bench/ce-bench - − bench/ce/algebraic_type_Z3,4.6.0.oracle - + bench/ce/algebraic_types_mono.mlw - + bench/ce/array_mono.mlw - + bench/ce/bv32.mlw - + bench/ce/double_projection.mlw - − bench/ce/floats_CVC4,1.5.oracle - − bench/ce/floats_Z3,4.6.0.oracle - + bench/ce/if_assign.mlw - bench/ce/if_decision_branch.mlw - − bench/ce/if_decision_branch_CVC4,1.5.oracle - − bench/ce/if_decision_branch_Z3,4.6.0.oracle - bench/ce/int32.mlw - − bench/ce/int32_CVC4,1.5.oracle - − bench/ce/int32_Z3,4.6.0.oracle - − bench/ce/int_CVC4,1.5.oracle - − bench/ce/int_Z3,4.6.0.oracle - − bench/ce/jlamp0_CVC4,1.5.oracle - − bench/ce/jlamp0_Z3,4.6.0.oracle - − bench/ce/jlamp_array_CVC4,1.5.oracle - − bench/ce/jlamp_array_Z3,4.6.0.oracle - bench/ce/jlamp_projections.mlw - − bench/ce/jlamp_projections_CVC4,1.5.oracle - − bench/ce/jlamp_projections_Z3,4.6.0.oracle The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/why3/commit/3721ad4b74ea3d2d243549c06b70c70d31a5826c -- View it on GitLab: https://salsa.debian.org/ocaml-team/why3/commit/3721ad4b74ea3d2d243549c06b70c70d31a5826c You're receiving this email because of your account on salsa.debian.org.
