Ralf Treinen pushed to branch master at Debian OCaml Maintainers / why3
Commits: 69c93f9f by Ralf Treinen at 2022-05-02T20:38:00+02:00 New upstream version 1.5.0 - - - - - ef2c1811 by Ralf Treinen at 2022-05-02T20:39:31+02:00 Update upstream source from tag 'upstream/1.5.0' Update to upstream version '1.5.0' with Debian dir b2d2bb9166089a872deb0f04423ea39edd6988d4 - - - - - a3f6099a by Ralf Treinen at 2022-05-02T20:45:02+02:00 updated patches - - - - - f337a283 by Ralf Treinen at 2022-05-02T20:58:58+02:00 configure with option --disable-coq-libs - - - - - 9aca109c by Ralf Treinen at 2022-05-03T03:02:52+02:00 bump dependency on z3 - - - - - 42796c11 by Ralf Treinen at 2022-05-03T10:15:42+02:00 test why3+z3: drop preliminary test of z3 - - - - - 12 changed files: - CHANGES.md - Makefile.in - bench/bench - bench/ce-bench - bench/ce/floats.mlw - + bench/ce/jlamp0_mono.mlw - + bench/ce/oracles/algebraic_type_CVC4,1.8_SP.oracle - + bench/ce/oracles/algebraic_type_CVC4,1.8_WP.oracle - + bench/ce/oracles/algebraic_type_Z3,4.8.10_SP.oracle - + bench/ce/oracles/algebraic_type_Z3,4.8.10_WP.oracle - bench/ce/oracles/algebraic_types_mono_CVC4,1.7_SP.oracle - bench/ce/oracles/algebraic_types_mono_CVC4,1.7_WP.oracle The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/compare/dbabf2ff519d0708fddb2784413d43a0e2947ba3...42796c11f02952c4f64b51563ca4d21534c15fd8 -- View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/compare/dbabf2ff519d0708fddb2784413d43a0e2947ba3...42796c11f02952c4f64b51563ca4d21534c15fd8 You're receiving this email because of your account on salsa.debian.org.
