Ralf Treinen pushed to branch master at Debian OCaml Maintainers / why3
Commits: 3721ad4b by Ralf Treinen at 2019-02-14T10:00:50Z New upstream version 1.2.0 - - - - - 00dd65fb by Ralf Treinen at 2019-02-14T10:01:11Z Update upstream source from tag 'upstream/1.2.0' Update to upstream version '1.2.0' with Debian dir 588eacca3e356694abe1b0f9c341d6ff2d338af0 - - - - - 4bf1a97c by Ralf Treinen at 2019-02-14T10:01:52Z new upstream version - - - - - 43d39707 by Ralf Treinen at 2019-02-14T10:08:37Z also build library in bytecode - - - - - 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/compare/b5334af1548a217f39004b8d5f7b58e30e2025ca...43d397076b021f34753831d9d7cbff4f9fe758f7 -- View it on GitLab: https://salsa.debian.org/ocaml-team/why3/compare/b5334af1548a217f39004b8d5f7b58e30e2025ca...43d397076b021f34753831d9d7cbff4f9fe758f7 You're receiving this email because of your account on salsa.debian.org.
