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.
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "
http://www.w3.org/TR/REC-html40/loose.dtd">
<html lang="en" style='--code-editor-font: var(--default-mono-font, "GitLab Mono"), JetBrains Mono, Menlo, DejaVu Sans Mono, Liberation Mono, Consolas, Ubuntu Mono, Courier New, andale mono, lucida console, monospace;'>
<head>
<meta content="text/html; charset=US-ASCII" http-equiv="Content-Type">
<title>
GitLab
</title>
<style data-premailer="ignore" type="text/css">
a { color: #1068bf; }
</style>
<style>img {
max-width: 100%; height: auto;
}
body {
font-size: .875rem;
}
body {
-webkit-text-shadow: rgba(255,255,255,.01) 0 0 1px;
}
body {
font-family: "GitLab Sans",-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,"Noto Sans",Ubuntu,Cantarell,"Helvetica Neue",sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol","Noto Color Emoji"; font-size: inherit;
}
</style>
</head>
<body style='font-size: inherit; -webkit-text-shadow: rgba(255,255,255,.01) 0 0 1px; font-family: "GitLab Sans",-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,"Noto Sans",Ubuntu,Cantarell,"Helvetica Neue",sans-serif,"Apple Color Emoji","Segoe UI
Emoji","Segoe UI Symbol","Noto Color Emoji";'>
<div class="content">
<h3 style="margin-top: 20px; margin-bottom: 10px;">
Ralf Treinen pushed to branch master at <a href="
https://salsa.debian.org/ocaml-team/why3">Debian OCaml Maintainers / why3</a>
</h3>
<h4 style="margin-top: 10px; margin-bottom: 10px;">
Commits:
</h4>
<strong style="font-weight: 600;"><a href="
https://salsa.debian.org/ocaml-team/why3/-/commit/dc116398594bd66f3475dcff4352d9f42f8b55b9">dc116398</a></strong>
<div>
<span> by Ralf Treinen </span> <i> at 2025-01-20T07:41:33+01:00 </i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #28272d; position: relative; font-family: "GitLab Mono","JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New",
"andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>New upstream version 1.8.0</pre>
</li>
<strong style="font-weight: 600;"><a href="
https://salsa.debian.org/ocaml-team/why3/-/commit/1036566c1f5ddb15fa1b1f6fd4d998b5a31ce2f0">1036566c</a></strong>
<div>
<span> by Ralf Treinen </span> <i> at 2025-01-20T07:41:33+01:00 </i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #28272d; position: relative; font-family: "GitLab Mono","JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New",
"andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>new package 1.8.0-1
</pre>
</li>
<strong style="font-weight: 600;"><a href="
https://salsa.debian.org/ocaml-team/why3/-/commit/e5bfa09c9d86ee52c82635ff9ee7659feb374cfc">e5bfa09c</a></strong>
<div>
<span> by Ralf Treinen </span> <i> at 2025-01-20T07:48:35+01:00 </i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #28272d; position: relative; font-family: "GitLab Mono","JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New",
"andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>stop building the documentation
</pre>
</li>
<strong style="font-weight: 600;"><a href="
https://salsa.debian.org/ocaml-team/why3/-/commit/ea597cc86a1653d3b8547581ca56a25e4950cd71">ea597cc8</a></strong>
<div>
<span> by Ralf Treinen </span> <i> at 2025-01-20T18:59:10+01:00 </i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #28272d; position: relative; font-family: "GitLab Mono","JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New",
"andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>create symlink for the why3 library
</pre>
</li>
<strong style="font-weight: 600;"><a href="
https://salsa.debian.org/ocaml-team/why3/-/commit/aedd2a940d2faaae0721347b7edf9ede6d166653">aedd2a94</a></strong>
<div>
<span> by Ralf Treinen </span> <i> at 2025-01-20T19:15:42+01:00 </i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #28272d; position: relative; font-family: "GitLab Mono","JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New",
"andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>dependency on provers: add cvc5, bump up version of z3
</pre>
</li>
<strong style="font-weight: 600;"><a href="
https://salsa.debian.org/ocaml-team/why3/-/commit/84eaa5a68836c14e6ba17fbc8b513414a492d5de">84eaa5a6</a></strong>
<div>
<span> by Ralf Treinen </span> <i> at 2025-01-21T00:14:42+01:00 </i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #28272d; position: relative; font-family: "GitLab Mono","JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New",
"andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>add a test with cvc5
</pre>
</li>
</ul>
<h4 style="margin-top: 10px; margin-bottom: 10px;">
30 changed files:
</h4>
<li class="file-stats">
<a href="#478688d738b7c60ce52103f92a8e61c5696d777e">
.merlin.in
</li>
<li class="file-stats">
<a href="#7facec255884dc55d3818e4dfbea89b1bdd7f49e">
CHANGES.md
</li>
<li class="file-stats">
<a href="#3f454a98e586d1aa0d322e19afd5e67e08f2d3c8">
CONTRIBUTING.md
</li>
<li class="file-stats">
<a href="#4faecea6d9857941b442698cdcbd38a141ff746e">
Makefile.in
</li>
<li class="file-stats">
<a href="#d0f3c084e0015a8dfb4cc774d440d9960f9a2546">
bench/bench
</li>
<li class="file-stats">
<a href="#7b5c979bf429be39f0be9a9e90485861caf93dcf">
bench/ce-stats.py
</li>
<li class="file-stats">
<a href="#d37c7ad6eb5b19bcb9c1404850707fdca376f8a7">
bench/check-ce-bench
</li>
<li class="file-stats">
<a href="#55d310c0dfc975df2423ea3cdc59e493fe099408"> bench/check-ce/array_records_poly.mlw
</li>
<li class="file-stats">
<a href="#7b1837b03a256a7dd20dd749c85e93f1ba47d248">
<span class="new-file">
+
bench/check-ce/division_by_zero.mlw
</span>
</li>
<li class="file-stats">
<a href="#ba7c53525a8726dc6690397ae5d47f67f11cf807">
<span class="new-file">
+
bench/check-ce/log-asserts.mlw
</span>
</li>
<li class="file-stats">
<a href="#0a952f5fb4aa17fad06343728dff43ad3aafcac3">
<span class="new-file">
+
bench/check-ce/log-call-nc.mlw
</span>
</li>
<li class="file-stats">
<a href="#b50ba9ea5a7fd43ac9874ae2b057a96313b62775">
<span class="new-file">
+
bench/check-ce/log-cond.mlw
</span>
</li>
<li class="file-stats">
<a href="#99d0370f96797ff752e1cafe5905c978e46cfbac">
<span class="new-file">
+
bench/check-ce/log-logic.mlw
</span>
</li>
<li class="file-stats">
<a href="#65fb970f5506dd696a022acf90f3b79cc1941007">
<span class="new-file">
+
bench/check-ce/log-post.mlw
</span>
</li>
<li class="file-stats">
<a href="#548937c33ccafb64fc20fd2da857f3d9401956cb">
<span class="new-file">
+
bench/check-ce/log-simple.mlw
</span>
</li>
<li class="file-stats">
<a href="#2b5141adff771caa39970aa8df7aa0b014f2e43d">
<span class="new-file">
+
bench/check-ce/model_projection.mlw
</span>
</li>
<li class="file-stats">
<a href="#1d4805486e1af3498a6bf4d420f4c0560ff26de3">
<span class="new-file">
+
bench/check-ce/model_projection2.mlw
</span>
</li>
<li class="file-stats">
<a href="#7dc8038e548a50d322801229f5e795665efe5edd">
<span class="new-file">
+
bench/check-ce/model_projection3.mlw
</span>
</li>
<li class="file-stats">
<a href="#64576e550e83e70dc7c37a5766ac43d10098ea44"> bench/check-ce/oracles/614_Alt-Ergo,2.5.2_SP.oracle
→
bench/check-ce/oracles/614_Alt-Ergo,2.6.0_SP.oracle
</li>
<li class="file-stats">
<a href="#5f62c43b24093145c41c0988490686d03972f614"> bench/check-ce/oracles/614_Alt-Ergo,2.5.2_WP.oracle
→
bench/check-ce/oracles/614_Alt-Ergo,2.6.0_WP.oracle
</li>
<li class="file-stats">
<a href="#79b137db7df357f2eca7edd7cc0a5b7f09df0bad"> bench/check-ce/oracles/614_CVC4,1.8_SP.oracle
</li>
<li class="file-stats">
<a href="#07b1029bed36d62c98bd769c7360df0af441ed30"> bench/check-ce/oracles/614_CVC4,1.8_WP.oracle
</li>
<li class="file-stats">
<a href="#09d5d8c8417306efdbdffd8c487f90e624a40486"> bench/check-ce/oracles/614_CVC5,1.0.5_SP.oracle
</li>
<li class="file-stats">
<a href="#13292266e3223c8cf7e328cccab5f936fc3731cb"> bench/check-ce/oracles/614_CVC5,1.0.5_WP.oracle
</li>
<li class="file-stats">
<a href="#26e24a9fc85cabafd8259806087df16e8859cfee"> bench/check-ce/oracles/614_Z3,4.8.10_SP.oracle
</li>
<li class="file-stats">
<a href="#099f4f7550e2d25c3c98ea9ca7d41bf06e0ec84a"> bench/check-ce/oracles/614_Z3,4.8.10_WP.oracle
</li>
<li class="file-stats">
<a href="#60c5ffad679943325d6a1869faed77536c23a35b"> bench/check-ce/oracles/615_Alt-Ergo,2.5.2_SP.oracle
→
bench/check-ce/oracles/615_Alt-Ergo,2.6.0_SP.oracle
</li>
<li class="file-stats">
<a href="#cb336f966c3110e3af76897f9b282bf69b80262e"> bench/check-ce/oracles/615_Alt-Ergo,2.5.2_WP.oracle
→
bench/check-ce/oracles/615_Alt-Ergo,2.6.0_WP.oracle
</li>
<li class="file-stats">
<a href="#378888f109199ccfc09be64687b0c84a3fc663b8"> bench/check-ce/oracles/615_CVC4,1.8_SP.oracle
</li>
<li class="file-stats">
<a href="#17b41e4f39f98abe231a877f2d85d7a14bd2f099"> bench/check-ce/oracles/615_CVC4,1.8_WP.oracle
</li>
</ul>
<h5 style="margin-top: 10px; margin-bottom: 10px; font-size: .875rem;">
The diff was not included because it is too large.
</h5>
</div>
<div class="footer" style="margin-top: 10px;">
<p style="font-size: small; color: #737278;">
—
<a href="
https://salsa.debian.org/ocaml-team/why3/-/compare/def9512563547aa33b2f5909b21e7c983134e8bb...84eaa5a68836c14e6ba17fbc8b513414a492d5de">View it on GitLab</a>.
You're receiving this email because of your account on <a target="_blank" rel="noopener noreferrer" href="
https://salsa.debian.org">salsa.debian.org</a>. <a href="
https://salsa.debian.org/-/profile/notifications" target="_blank" rel="noopener noreferrer"
class="mng-notif-link">Manage all notifications</a> · <a href="
https://salsa.debian.org/help" target="_blank" rel="noopener noreferrer" class="help-link">Help</a>
</div>
</body>
</html>
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)