Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / why3
Commits:
13d5cde5 by Ralf Treinen at 2022-09-29T20:31:31+02:00
New upstream version 1.5.1
- - - - -
30 changed files:
- CHANGES.md
- Makefile.in
- configure
- configure.in
- doc/conf.py
- doc/index.rst
- doc/input_formats.rst
- doc/manpages.rst
- doc/manual.bib
- drivers/alt_ergo_common.drv
- examples/avl/avl.mlw
- + examples/bts/559.mlw
- examples/python/is_sorted.py
- examples/python/is_sorted/why3session.xml
- examples/python/is_sorted/why3shapes.gz
- examples/tests/rac.out
- examples/use_api/oracles/test-api-mlw_expr.stdout
- plugins/python/py_ast.mli
- plugins/python/py_lexer.mll
- plugins/python/py_main.ml
- plugins/python/py_parser.mly
- plugins/python/test.py
- share/lang/why3py.lang
- share/provers-detection-data.conf
- src/core/dterm.ml
- src/mlw/dexpr.ml
- src/mlw/expr.ml
- src/mlw/pmodule.ml
- src/session/controller_itp.ml
- src/tools/why3execute.ml
The diff was not included because it is too large.
View it on GitLab:
https://salsa.debian.org/ocaml-team/why3/-/commit/13d5cde5411fd40cea76c33547e06751afce6c04
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/why3/-/commit/13d5cde5411fd40cea76c33547e06751afce6c04
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">
<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: 0.875rem;
}
body {
-webkit-text-shadow: rgba(255,255,255,0.01) 0 0 1px;
}
body {
font-family: -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,0.01) 0 0 1px; font-family: -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 upstream at <a href="
https://salsa.debian.org/ocaml-team/why3" style="color: #1068bf;">Debian OCaml Maintainers / why3</a>
</h3>
<h4 style="margin-top: 10px; margin-bottom: 10px;">
Commits:
</h4>
<strong style="font-weight: bold;"><a href="
https://salsa.debian.org/ocaml-team/why3/-/commit/13d5cde5411fd40cea76c33547e06751afce6c04" style="color: #1068bf;">13d5cde5</a></strong>
<div>
<span> by Ralf Treinen </span> <i> at 2022-09-29T20:31:31+02:00 </i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "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: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>New upstream version 1.5.1</pre>
</li>
</ul>
<h4 style="margin-top: 10px; margin-bottom: 10px;">
30 changed files:
</h4>
<li class="file-stats">
<a href="#7facec255884dc55d3818e4dfbea89b1bdd7f49e" style="color: #1068bf;"> CHANGES.md
</li>
<li class="file-stats">
<a href="#4faecea6d9857941b442698cdcbd38a141ff746e" style="color: #1068bf;"> Makefile.in
</li>
<li class="file-stats">
<a href="#09be8533ff0a6ee5d577f971145ed449399fcda4" style="color: #1068bf;"> configure
</li>
<li class="file-stats">
<a href="#0ff7e25ee1cb9b87a8b5a4431b6a53bbe5ccdfed" style="color: #1068bf;"> configure.in
</li>
<li class="file-stats">
<a href="#df0576cbb783bc50b36e1efa3cbe0564a26c8295" style="color: #1068bf;"> doc/conf.py
</li>
<li class="file-stats">
<a href="#1bbcd8980c541f52998ccf56da078edd2ca6a2d0" style="color: #1068bf;"> doc/index.rst
</li>
<li class="file-stats">
<a href="#f1b8ad8d8ba1e5bbfb56c06b9c04f9899f942fae" style="color: #1068bf;"> doc/input_formats.rst
</li>
<li class="file-stats">
<a href="#d15762853beae4b046718a214b58ee10e8116cc4" style="color: #1068bf;"> doc/manpages.rst
</li>
<li class="file-stats">
<a href="#9517c543929ac72393ed00e43d526f4da9d185ab" style="color: #1068bf;"> doc/manual.bib
</li>
<li class="file-stats">
<a href="#f6042c366c2de62efa4b253b8e54a330a84f706f" style="color: #1068bf;"> drivers/alt_ergo_common.drv
</li>
<li class="file-stats">
<a href="#2e74fd5b4b6f266a08f3906891ebdef18ccefe29" style="color: #1068bf;"> examples/avl/avl.mlw
</li>
<li class="file-stats">
<a href="#fdfa55d5bc85705b63675cb8312da569e2210f47" style="color: #1068bf;"> <span class="new-file">
+
examples/bts/559.mlw
</span>
</li>
<li class="file-stats">
<a href="#4ac66e16cf324e51010b187eaca3a0258214825f" style="color: #1068bf;"> examples/python/is_sorted.py
</li>
<li class="file-stats">
<a href="#371cc372bd4377b806d2c259e574da7e9358e737" style="color: #1068bf;"> examples/python/is_sorted/why3session.xml
</li>
<li class="file-stats">
<a href="#498310e60763993d9271136d8ce3877a4bbb2d28" style="color: #1068bf;"> examples/python/is_sorted/why3shapes.gz
</li>
<li class="file-stats">
<a href="#c8d0a9eb50c88fb52dbe2b189349014e1c6f5fcc" style="color: #1068bf;"> examples/tests/rac.out
</li>
<li class="file-stats">
<a href="#fb7bbc460e3b0c592bbc9a11a2a406d07a02c37a" style="color: #1068bf;"> examples/use_api/oracles/test-api-mlw_expr.stdout
</li>
<li class="file-stats">
<a href="#6ee68c371b3c4e83630931ad5c7bba5718e9eae7" style="color: #1068bf;"> plugins/python/py_ast.mli
</li>
<li class="file-stats">
<a href="#cd290c162d25ca0ef1f86b424e2fb4f89957414e" style="color: #1068bf;"> plugins/python/py_lexer.mll
</li>
<li class="file-stats">
<a href="#f4247f278fdeeac9f9280e573eb1015895a2d731" style="color: #1068bf;"> plugins/python/py_main.ml
</li>
<li class="file-stats">
<a href="#52feca1117c7d122c832e3f71006ff24c578ad8a" style="color: #1068bf;"> plugins/python/py_parser.mly
</li>
<li class="file-stats">
<a href="#91aa21423f4b33bdd4df7f4b2fce795ac922f99b" style="color: #1068bf;"> plugins/python/test.py
</li>
<li class="file-stats">
<a href="#462737168c0fccfd4baa09aa288c4f70057ebdab" style="color: #1068bf;"> share/lang/why3py.lang
</li>
<li class="file-stats">
<a href="#ff3729899da8388dd608515285c9131da0e3bb82" style="color: #1068bf;"> share/provers-detection-data.conf
</li>
<li class="file-stats">
<a href="#7ed79c8691bf72f269627ba8eab838f7e1ac6b5b" style="color: #1068bf;"> src/core/dterm.ml
</li>
<li class="file-stats">
<a href="#3731fc5560f6a5f7a60e9a1747afce7f49221e2d" style="color: #1068bf;"> src/mlw/dexpr.ml
</li>
<li class="file-stats">
<a href="#9d516abd39c907eb60c27199f5d3850c972bc486" style="color: #1068bf;"> src/mlw/expr.ml
</li>
<li class="file-stats">
<a href="#d845176cf718a4a06ab2c010ddcbc1b99b7e43f6" style="color: #1068bf;"> src/mlw/pmodule.ml
</li>
<li class="file-stats">
<a href="#bff1348b4e78643150a8713ad1df74fcb5dad992" style="color: #1068bf;"> src/session/controller_itp.ml
</li>
<li class="file-stats">
<a href="#8a05c7fdb9eb72e3470c5e5e70d643bf92e8965a" style="color: #1068bf;"> src/tools/why3execute.ml
</li>
</ul>
<h5 style="margin-top: 10px; margin-bottom: 10px; font-size: 0.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: #666;">
—
<a href="
https://salsa.debian.org/ocaml-team/why3/-/commit/13d5cde5411fd40cea76c33547e06751afce6c04" style="color: #1068bf;">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" style="color: #1068bf;">salsa.debian.org</a>. <a href="
https://salsa.debian.org/-/profile/notifications" target="_blank"
rel="noopener noreferrer" class="mng-notif-link" style="color: #1068bf;">Manage all notifications</a> · <a href="
https://salsa.debian.org/help" target="_blank" rel="noopener noreferrer" class="help-link" style="color: #1068bf;">Help</a>
<script type="application/ld+json">{"@context":"
http://schema.org","@type":"EmailMessage","action":{"@type":"ViewAction","name":"View Commit","url":"
https://salsa.debian.org/ocaml-team/why3/-/commit/13d5cde5411fd40cea76c33547e06751afce6c04"}}</script>
</div>
</body>
</html>
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)