Ralf Treinen pushed to branch master at Debian OCaml Maintainers / why3
Commits: 57a4ccff by Ralf Treinen at 2023-11-25T00:32:16+01:00 fix typo in changelog entry - - - - - 6d23f86f by Ralf Treinen at 2024-03-01T20:30:23+01:00 New upstream version 1.7.1 - - - - - 1320f92b by Ralf Treinen at 2024-03-01T20:30:45+01:00 Update upstream source from tag 'upstream/1.7.1' Update to upstream version '1.7.1' with Debian dir 6bca7c471f97c1f7d0bdb5ca80ce31990ccda642 - - - - - 8f082873 by Ralf Treinen at 2024-03-01T20:55:58+01:00 debian version 1.7.1-1 - - - - - f8057d9d by Ralf Treinen at 2024-03-03T02:18:35+01:00 d/clean: remove doc/.doctrees - - - - - 30 changed files: - CHANGES.md - CONTRIBUTING.md - INSTALL.md - Makefile.in - README.md - + bench/alt_ergo_smt/run_bench.sh - + bench/alt_ergo_smt/why3extra.conf - bench/bench - bench/check-ce-bench - bench/check-ce/703_reduce_term.mlw - + bench/check-ce/map_of_algebraic.mlw - + bench/check-ce/oracles/614_Alt-Ergo,2.5.2_SP.oracle - + bench/check-ce/oracles/614_Alt-Ergo,2.5.2_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.0_SP.oracle → bench/check-ce/oracles/614_CVC5,1.0.5_SP.oracle - bench/check-ce/oracles/614_CVC5,1.0.0_WP.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.5.2_WP.oracle - bench/check-ce/oracles/615_CVC4,1.8_SP.oracle - bench/check-ce/oracles/615_CVC4,1.8_WP.oracle - bench/check-ce/oracles/615_CVC5,1.0.0_SP.oracle → bench/check-ce/oracles/615_CVC5,1.0.5_SP.oracle - bench/check-ce/oracles/615_CVC5,1.0.0_WP.oracle → bench/check-ce/oracles/615_CVC5,1.0.5_WP.oracle - bench/check-ce/oracles/615_Z3,4.8.10_SP.oracle - bench/check-ce/oracles/615_Z3,4.8.10_WP.oracle - + bench/check-ce/oracles/640_no_loc_failure_Alt-Ergo,2.5.2_SP.oracle - + bench/check-ce/oracles/640_no_loc_failure_Alt-Ergo,2.5.2_WP.oracle - bench/check-ce/oracles/640_no_loc_failure_CVC4,1.8_SP.oracle The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/compare/0427742b302497898e53884ecc95ef774adcd573...f8057d9d74a5ae5153c64dcb693662782a152c75 -- View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/compare/0427742b302497898e53884ecc95ef774adcd573...f8057d9d74a5ae5153c64dcb693662782a152c75 You're receiving this email because of your account on salsa.debian.org.
