Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / why3
Commits: 16bac251 by Ralf Treinen at 2024-12-28T02:05:12+01:00 New upstream version 1.8.0 - - - - - 30 changed files: - .merlin.in - CHANGES.md - CONTRIBUTING.md - Makefile.in - bench/bench - bench/ce-stats.py - bench/check-ce-bench - bench/check-ce/array_records_poly.mlw - + bench/check-ce/division_by_zero.mlw - + bench/check-ce/log-asserts.mlw - + bench/check-ce/log-call-nc.mlw - + bench/check-ce/log-cond.mlw - + bench/check-ce/log-logic.mlw - + bench/check-ce/log-post.mlw - + bench/check-ce/log-simple.mlw - + bench/check-ce/model_projection.mlw - + bench/check-ce/model_projection2.mlw - + bench/check-ce/model_projection3.mlw - bench/check-ce/oracles/614_Alt-Ergo,2.5.2_SP.oracle → bench/check-ce/oracles/614_Alt-Ergo,2.6.0_SP.oracle - bench/check-ce/oracles/614_Alt-Ergo,2.5.2_WP.oracle → bench/check-ce/oracles/614_Alt-Ergo,2.6.0_WP.oracle - bench/check-ce/oracles/614_CVC4,1.8_SP.oracle - bench/check-ce/oracles/614_CVC4,1.8_WP.oracle - bench/check-ce/oracles/614_CVC5,1.0.5_SP.oracle - bench/check-ce/oracles/614_CVC5,1.0.5_WP.oracle - bench/check-ce/oracles/614_Z3,4.8.10_SP.oracle - bench/check-ce/oracles/614_Z3,4.8.10_WP.oracle - bench/check-ce/oracles/615_Alt-Ergo,2.5.2_SP.oracle → bench/check-ce/oracles/615_Alt-Ergo,2.6.0_SP.oracle - bench/check-ce/oracles/615_Alt-Ergo,2.5.2_WP.oracle → bench/check-ce/oracles/615_Alt-Ergo,2.6.0_WP.oracle - bench/check-ce/oracles/615_CVC4,1.8_SP.oracle - bench/check-ce/oracles/615_CVC4,1.8_WP.oracle The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/commit/16bac25172d5f3717a6f54c2bc4fea7b7f23ad12 -- View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/commit/16bac25172d5f3717a6f54c2bc4fea7b7f23ad12 You're receiving this email because of your account on salsa.debian.org.
