Ralf Treinen pushed to branch master at Debian OCaml Maintainers / why3
Commits: dc116398 by Ralf Treinen at 2025-01-20T07:41:33+01:00 New upstream version 1.8.0 - - - - - 1036566c by Ralf Treinen at 2025-01-20T07:41:33+01:00 new package 1.8.0-1 - - - - - e5bfa09c by Ralf Treinen at 2025-01-20T07:48:35+01:00 stop building the documentation - - - - - ea597cc8 by Ralf Treinen at 2025-01-20T18:59:10+01:00 create symlink for the why3 library - - - - - aedd2a94 by Ralf Treinen at 2025-01-20T19:15:42+01:00 dependency on provers: add cvc5, bump up version of z3 - - - - - 84eaa5a6 by Ralf Treinen at 2025-01-21T00:14:42+01:00 add a test with cvc5 - - - - - 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/-/compare/def9512563547aa33b2f5909b21e7c983134e8bb...84eaa5a68836c14e6ba17fbc8b513414a492d5de -- View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/compare/def9512563547aa33b2f5909b21e7c983134e8bb...84eaa5a68836c14e6ba17fbc8b513414a492d5de You're receiving this email because of your account on salsa.debian.org.
