Deploying to main from @ amaranth-lang/amaranth@61c5442 🚀

Author: github-merge-queue[bot]

docs/amaranth/latest/.buildinfo

@@ -1,4 +1,4 @@
 # Sphinx build info version 1
 # This file hashes the configuration used when building these files. When it is not found, a full rebuild will be done.
-config: d632bf0bbb4f44b27fb09d56e1371833
+config: 0a033efb8b47b6fad01afb908cbe22d5
 tags: 645f666f9bcd5a90fca523b33c5a78b7

docs/amaranth/latest/.doctrees/changes.doctree

@@ -28,8 +28,9 @@ Language changes
 
 .. currentmodule:: amaranth.hdl
 
-* Removed (deprecated in 0.4): :class:`Record`.
-* Removed (deprecated in 0.5): public submodules of :mod:`amaranth.hdl`.
+* Removed: (deprecated in 0.4) :class:`Record`.
+* Removed: (deprecated in 0.5) public submodules of :mod:`amaranth.hdl`.
+* Removed: (deprecated in 0.5) :meth:`Value.implies`.
 
 
 Standard library changes
@@ -68,6 +69,7 @@ Apply the following changes to code written against Amaranth 0.4 to migrate it t
 * Update uses of :meth:`Simulator.run_until <amaranth.sim.Simulator.run_until>` to remove the :py:`run_passive=True` argument. If the code uses :py:`run_passive=False`, ensure it still works with the new behavior.
 * Update uses of :py:`amaranth.utils.log2_int(need_pow2=False)` to :func:`amaranth.utils.ceil_log2`.
 * Update uses of :py:`amaranth.utils.log2_int(need_pow2=True)` to :func:`amaranth.utils.exact_log2`.
+* Replace uses of :py:`a.implies(b)` with `~a | b`.
 
 
 Implemented RFCs
@@ -138,6 +140,7 @@ Language changes
 * Deprecated: :func:`amaranth.utils.log2_int`. (`RFC 17`_)
 * Deprecated: :class:`amaranth.hdl.Memory`. (`RFC 45`_)
 * Deprecated: upwards propagation of clock domains. (`RFC 59`_)
+* Deprecated: :meth:`Value.implies`.
 * Removed: (deprecated in 0.4) :meth:`Const.normalize`. (`RFC 5`_)
 * Removed: (deprecated in 0.4) :class:`Repl`. (`RFC 10`_)
 * Removed: (deprecated in 0.4) :class:`ast.Sample`, :class:`ast.Past`, :class:`ast.Stable`, :class:`ast.Rose`, :class:`ast.Fell`.

docs/amaranth/latest/.doctrees/environment.pickle

@@ -1,6 +1,6 @@
 var DOCUMENTATION_OPTIONS = {
     URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'),
-    VERSION: '0.6.0.dev3',
+    VERSION: '0.6.0.dev5',
     LANGUAGE: 'en',
     COLLAPSE_INDEX: false,
     BUILDER: 'html',

docs/amaranth/latest/_sources/changes.rst.txt

@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Changelog &mdash; Amaranth language &amp; toolchain 0.6.0.dev3 documentation</title>
+  <title>Changelog &mdash; Amaranth language &amp; toolchain 0.6.0.dev5 documentation</title>
       <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
       <link rel="stylesheet" type="text/css" href="_static/platformpicker.css" />
@@ -17,7 +17,7 @@
 
         <script src="_static/jquery.js?v=5d32c60e"></script>
         <script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=99d92bdd"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=f6283f09"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -41,7 +41,7 @@
               <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.6.0.dev3
+                0.6.0.dev5
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">
@@ -152,8 +152,9 @@ <h2>Version 0.6 (unreleased)<a class="headerlink" href="#version-0-6-unreleased"
 <section id="language-changes">
 <h3>Language changes<a class="headerlink" href="#language-changes" title="Permalink to this heading"></a></h3>
 <ul class="simple">
-<li><p>Removed (deprecated in 0.4): <code class="xref py py-class docutils literal notranslate"><span class="pre">Record</span></code>.</p></li>
-<li><p>Removed (deprecated in 0.5): public submodules of <a class="reference internal" href="reference.html#module-amaranth.hdl" title="amaranth.hdl"><code class="xref py py-mod docutils literal notranslate"><span class="pre">amaranth.hdl</span></code></a>.</p></li>
+<li><p>Removed: (deprecated in 0.4) <code class="xref py py-class docutils literal notranslate"><span class="pre">Record</span></code>.</p></li>
+<li><p>Removed: (deprecated in 0.5) public submodules of <a class="reference internal" href="reference.html#module-amaranth.hdl" title="amaranth.hdl"><code class="xref py py-mod docutils literal notranslate"><span class="pre">amaranth.hdl</span></code></a>.</p></li>
+<li><p>Removed: (deprecated in 0.5) <code class="xref py py-meth docutils literal notranslate"><span class="pre">Value.implies()</span></code>.</p></li>
 </ul>
 </section>
 <section id="standard-library-changes">
@@ -187,6 +188,7 @@ <h3>Migrating from version 0.4<a class="headerlink" href="#migrating-from-versio
 <li><p>Update uses of <a class="reference internal" href="simulator.html#amaranth.sim.Simulator.run_until" title="amaranth.sim.Simulator.run_until"><code class="xref py py-meth docutils literal notranslate"><span class="pre">Simulator.run_until</span></code></a> to remove the <code class="code highlight py python docutils literal highlight-python"><span class="n">run_passive</span><span class="o">=</span><span class="kc">True</span></code> argument. If the code uses <code class="code highlight py python docutils literal highlight-python"><span class="n">run_passive</span><span class="o">=</span><span class="kc">False</span></code>, ensure it still works with the new behavior.</p></li>
 <li><p>Update uses of <code class="code highlight py python docutils literal highlight-python"><span class="n">amaranth</span><span class="o">.</span><span class="n">utils</span><span class="o">.</span><span class="n">log2_int</span><span class="p">(</span><span class="n">need_pow2</span><span class="o">=</span><span class="kc">False</span><span class="p">)</span></code> to <code class="xref py py-func docutils literal notranslate"><span class="pre">amaranth.utils.ceil_log2()</span></code>.</p></li>
 <li><p>Update uses of <code class="code highlight py python docutils literal highlight-python"><span class="n">amaranth</span><span class="o">.</span><span class="n">utils</span><span class="o">.</span><span class="n">log2_int</span><span class="p">(</span><span class="n">need_pow2</span><span class="o">=</span><span class="kc">True</span><span class="p">)</span></code> to <code class="xref py py-func docutils literal notranslate"><span class="pre">amaranth.utils.exact_log2()</span></code>.</p></li>
+<li><p>Replace uses of <code class="code highlight py python docutils literal highlight-python"><span class="n">a</span><span class="o">.</span><span class="n">implies</span><span class="p">(</span><span class="n">b</span><span class="p">)</span></code> with <cite>~a | b</cite>.</p></li>
 </ul>
 </section>
 <section id="implemented-rfcs">
@@ -235,6 +237,7 @@ <h3>Language changes<a class="headerlink" href="#id1" title="Permalink to this h
 <li><p>Deprecated: <code class="xref py py-func docutils literal notranslate"><span class="pre">amaranth.utils.log2_int()</span></code>. (<a class="reference external" href="https://amaranth-lang.org/rfcs/0017-remove-log2-int.html">RFC 17</a>)</p></li>
 <li><p>Deprecated: <code class="xref py py-class docutils literal notranslate"><span class="pre">amaranth.hdl.Memory</span></code>. (<a class="reference external" href="https://amaranth-lang.org/rfcs/0045-lib-memory.html">RFC 45</a>)</p></li>
 <li><p>Deprecated: upwards propagation of clock domains. (<a class="reference external" href="https://amaranth-lang.org/rfcs/0059-no-domain-upwards-propagation.html">RFC 59</a>)</p></li>
+<li><p>Deprecated: <code class="xref py py-meth docutils literal notranslate"><span class="pre">Value.implies()</span></code>.</p></li>
 <li><p>Removed: (deprecated in 0.4) <code class="xref py py-meth docutils literal notranslate"><span class="pre">Const.normalize()</span></code>. (<a class="reference external" href="https://amaranth-lang.org/rfcs/0005-remove-const-normalize.html">RFC 5</a>)</p></li>
 <li><p>Removed: (deprecated in 0.4) <code class="xref py py-class docutils literal notranslate"><span class="pre">Repl</span></code>. (<a class="reference external" href="https://amaranth-lang.org/rfcs/0010-move-repl-to-value.html">RFC 10</a>)</p></li>
 <li><p>Removed: (deprecated in 0.4) <code class="xref py py-class docutils literal notranslate"><span class="pre">ast.Sample</span></code>, <code class="xref py py-class docutils literal notranslate"><span class="pre">ast.Past</span></code>, <code class="xref py py-class docutils literal notranslate"><span class="pre">ast.Stable</span></code>, <code class="xref py py-class docutils literal notranslate"><span class="pre">ast.Rose</span></code>, <code class="xref py py-class docutils literal notranslate"><span class="pre">ast.Fell</span></code>.</p></li>

docs/amaranth/latest/_static/documentation_options.js

@@ -28,8 +28,9 @@ Language changes
 
 .. currentmodule:: amaranth.hdl
 
-* Removed (deprecated in 0.4): :class:`Record`.
-* Removed (deprecated in 0.5): public submodules of :mod:`amaranth.hdl`.
+* Removed: (deprecated in 0.4) :class:`Record`.
+* Removed: (deprecated in 0.5) public submodules of :mod:`amaranth.hdl`.
+* Removed: (deprecated in 0.5) :meth:`Value.implies`.
 
 
 Standard library changes
@@ -68,6 +69,7 @@ Apply the following changes to code written against Amaranth 0.4 to migrate it t
 * Update uses of :meth:`Simulator.run_until <amaranth.sim.Simulator.run_until>` to remove the :py:`run_passive=True` argument. If the code uses :py:`run_passive=False`, ensure it still works with the new behavior.
 * Update uses of :py:`amaranth.utils.log2_int(need_pow2=False)` to :func:`amaranth.utils.ceil_log2`.
 * Update uses of :py:`amaranth.utils.log2_int(need_pow2=True)` to :func:`amaranth.utils.exact_log2`.
+* Replace uses of :py:`a.implies(b)` with `~a | b`.
 
 
 Implemented RFCs
@@ -138,6 +140,7 @@ Language changes
 * Deprecated: :func:`amaranth.utils.log2_int`. (`RFC 17`_)
 * Deprecated: :class:`amaranth.hdl.Memory`. (`RFC 45`_)
 * Deprecated: upwards propagation of clock domains. (`RFC 59`_)
+* Deprecated: :meth:`Value.implies`.
 * Removed: (deprecated in 0.4) :meth:`Const.normalize`. (`RFC 5`_)
 * Removed: (deprecated in 0.4) :class:`Repl`. (`RFC 10`_)
 * Removed: (deprecated in 0.4) :class:`ast.Sample`, :class:`ast.Past`, :class:`ast.Stable`, :class:`ast.Rose`, :class:`ast.Fell`.

docs/amaranth/latest/changes.html

@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Contributing &mdash; Amaranth language &amp; toolchain 0.6.0.dev3 documentation</title>
+  <title>Contributing &mdash; Amaranth language &amp; toolchain 0.6.0.dev5 documentation</title>
       <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
       <link rel="stylesheet" type="text/css" href="_static/platformpicker.css" />
@@ -17,7 +17,7 @@
 
         <script src="_static/jquery.js?v=5d32c60e"></script>
         <script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=99d92bdd"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=f6283f09"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -40,7 +40,7 @@
               <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.6.0.dev3
+                0.6.0.dev5
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">

docs/amaranth/latest/changes.rst

@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Amaranth project documentation &mdash; Amaranth language &amp; toolchain 0.6.0.dev3 documentation</title>
+  <title>Amaranth project documentation &mdash; Amaranth language &amp; toolchain 0.6.0.dev5 documentation</title>
       <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
       <link rel="stylesheet" type="text/css" href="_static/platformpicker.css" />
@@ -17,7 +17,7 @@
 
         <script src="_static/jquery.js?v=5d32c60e"></script>
         <script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=99d92bdd"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=f6283f09"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -40,7 +40,7 @@
               <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.6.0.dev3
+                0.6.0.dev5
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">

docs/amaranth/latest/contrib.html

@@ -3,7 +3,7 @@
 <head>
   <meta charset="utf-8" />
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Index &mdash; Amaranth language &amp; toolchain 0.6.0.dev3 documentation</title>
+  <title>Index &mdash; Amaranth language &amp; toolchain 0.6.0.dev5 documentation</title>
       <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
       <link rel="stylesheet" type="text/css" href="_static/platformpicker.css" />
@@ -16,7 +16,7 @@
 
         <script src="_static/jquery.js?v=5d32c60e"></script>
         <script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=99d92bdd"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=f6283f09"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -38,7 +38,7 @@
               <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.6.0.dev3
+                0.6.0.dev5
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">

docs/amaranth/latest/cover.html

@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Language guide &mdash; Amaranth language &amp; toolchain 0.6.0.dev3 documentation</title>
+  <title>Language guide &mdash; Amaranth language &amp; toolchain 0.6.0.dev5 documentation</title>
       <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
       <link rel="stylesheet" type="text/css" href="_static/platformpicker.css" />
@@ -17,7 +17,7 @@
 
         <script src="_static/jquery.js?v=5d32c60e"></script>
         <script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=99d92bdd"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=f6283f09"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -41,7 +41,7 @@
               <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.6.0.dev3
+                0.6.0.dev5
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">

docs/amaranth/latest/genindex.html

@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Language &amp; toolchain &mdash; Amaranth language &amp; toolchain 0.6.0.dev3 documentation</title>
+  <title>Language &amp; toolchain &mdash; Amaranth language &amp; toolchain 0.6.0.dev5 documentation</title>
       <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
       <link rel="stylesheet" type="text/css" href="_static/platformpicker.css" />
@@ -17,7 +17,7 @@
 
         <script src="_static/jquery.js?v=5d32c60e"></script>
         <script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=99d92bdd"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=f6283f09"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -41,7 +41,7 @@
               <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.6.0.dev3
+                0.6.0.dev5
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">

docs/amaranth/latest/guide.html

@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Installation &mdash; Amaranth language &amp; toolchain 0.6.0.dev3 documentation</title>
+  <title>Installation &mdash; Amaranth language &amp; toolchain 0.6.0.dev5 documentation</title>
       <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
       <link rel="stylesheet" type="text/css" href="_static/platformpicker.css" />
@@ -17,7 +17,7 @@
 
         <script src="_static/jquery.js?v=5d32c60e"></script>
         <script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=99d92bdd"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=f6283f09"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -41,7 +41,7 @@
               <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.6.0.dev3
+                0.6.0.dev5
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">