[Git][ocaml-team/why3][master] 6 commits: New upstream version 1.8.0

["Ralf Treinen (@treinen)" <gitlab@salsa.debian.org>]

Title: GitLab

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.
You're receiving this email because of your account on salsa.debian.org. Manage all notifications · Help