Ralf Treinen pushed to branch master at Debian OCaml Maintainers / why3
Commits: 69ef9d2c by Ralf Treinen at 2020-09-06T19:15:08+02:00 New upstream version 1.3.2 - - - - - d174a0cb by Ralf Treinen at 2020-09-06T19:16:52+02:00 Update upstream source from tag 'upstream/1.3.2' Update to upstream version '1.3.2' with Debian dir 1d6fba60fc7190032de68fc0841c5845023f0ef5 - - - - - 23c3b92f by Ralf Treinen at 2020-09-09T20:28:27+02:00 support for coq 8.12 - - - - - a995487d by Ralf Treinen at 2020-09-09T21:10:45+02:00 test why3+coq send warning to stderr - - - - - 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 - debian/changelog - + debian/patches/coq8.12 - debian/patches/series The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/compare/ac2a4fe330bcec76baadb8914a5824ac96fad5aa...a995487d486ae29a44b7c3633356a28354e109dd -- View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/compare/ac2a4fe330bcec76baadb8914a5824ac96fad5aa...a995487d486ae29a44b7c3633356a28354e109dd You're receiving this email because of your account on salsa.debian.org.
