Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / why3
Commits: 69ef9d2c by Ralf Treinen at 2020-09-06T19:15:08+02:00 New upstream version 1.3.2 - - - - - 30 changed files: - CHANGES.md - Makefile.in - bench/ce-bench - bench/ce/oracles/algebraic_types_mono_CVC4,1.7_SP.oracle - bench/ce/oracles/algebraic_types_mono_CVC4,1.7_WP.oracle - bench/ce/oracles/array_mono_CVC4,1.7_SP.oracle - bench/ce/oracles/array_mono_CVC4,1.7_WP.oracle - bench/ce/oracles/if_assign_CVC4,1.7_SP.oracle - bench/ce/oracles/if_assign_CVC4,1.7_WP.oracle - bench/ce/oracles/jlamp0_CVC4,1.7_SP.oracle - bench/ce/oracles/jlamp0_CVC4,1.7_WP.oracle - bench/ce/oracles/jlamp_projections_CVC4,1.7_SP.oracle - bench/ce/oracles/jlamp_projections_CVC4,1.7_WP.oracle - bench/ce/oracles/map_CVC4,1.7_SP.oracle - bench/ce/oracles/map_CVC4,1.7_WP.oracle - bench/ce/oracles/range_type_CVC4,1.7_SP.oracle - bench/ce/oracles/range_type_CVC4,1.7_WP.oracle - bench/ce/oracles/record_one_field_CVC4,1.7_SP.oracle - bench/ce/oracles/record_one_field_CVC4,1.7_WP.oracle - bench/ce/oracles/records_inv_CVC4,1.7_SP.oracle - bench/ce/oracles/records_inv_CVC4,1.7_WP.oracle - bench/ce/oracles/ref_mono_CVC4,1.7_SP.oracle - bench/ce/oracles/ref_mono_CVC4,1.7_WP.oracle - bench/ce/oracles/result_CVC4,1.7_SP.oracle - bench/ce/oracles/result_CVC4,1.7_WP.oracle - configure - configure.in - doc/api.rst - doc/conf.py - doc/index.rst The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/commit/69ef9d2c2a5fa6635eecb2f3f7faddc8c41dcda8 -- View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/commit/69ef9d2c2a5fa6635eecb2f3f7faddc8c41dcda8 You're receiving this email because of your account on salsa.debian.org.
