• [Git][ocaml-team/why3][upstream] New upstream version 1.5.1

    From " @21:1/5 to All on Fri Sep 30 05:10:01 2022
    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;">
    &#8212;

    <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> &#183; <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)