Deploying to main from @ amaranth-lang/amaranth@4014f64 🚀

amaranth-lang · Feb 12, 2024 · d73ab7d · d73ab7d
1 parent 0093473
commit d73ab7d
Show file tree

Hide file tree

Showing 38 changed files with 99 additions and 102 deletions.
diff --git a/docs/amaranth/latest/.buildinfo b/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: a12784d963126c95f3192c8f8dee7502
+config: 5f1c0e170e215ebbcae96d28c5a18b01
 tags: 645f666f9bcd5a90fca523b33c5a78b7
diff --git a/docs/amaranth/latest/.doctrees/changes.doctree b/docs/amaranth/latest/.doctrees/changes.doctree
diff --git a/docs/amaranth/latest/.doctrees/environment.pickle b/docs/amaranth/latest/.doctrees/environment.pickle
diff --git a/docs/amaranth/latest/_sources/changes.rst.txt b/docs/amaranth/latest/_sources/changes.rst.txt
@@ -29,9 +29,8 @@ Apply the following changes to code written against Amaranth 0.4 to migrate it t
 * Replace uses of ``Value.matches()`` with no patterns with ``Const(1)``
 * Update uses of ``amaranth.utils.log2_int(need_pow2=False)`` to :func:`amaranth.utils.ceil_log2`
 * Update uses of ``amaranth.utils.log2_int(need_pow2=True)`` to :func:`amaranth.utils.exact_log2`
-* Update uses of ``Simulator.add_process`` to ``Simulator.add_testbench``
 * Convert uses of ``Simulator.add_sync_process`` used as testbenches to ``Simulator.add_testbench``
-* Convert uses of ``yield Tick()`` within remaining ``Simulator.add_sync_process`` to plain ``yield``
+* Convert other uses of ``Simulator.add_sync_process`` to ``Simulator.add_process``
 
 
 Implemented RFCs
@@ -81,7 +80,7 @@ Toolchain changes
 
 * Added: ``Simulator.add_testbench``. (`RFC 27`_)
 * Deprecated: ``Settle`` simulation command. (`RFC 27`_)
-* Deprecated: ``Simulator.add_process``. (`RFC 27`_)
+* Deprecated: ``Simulator.add_sync_process``. (`RFC 27`_)
 * Removed: (deprecated in 0.4) use of mixed-case toolchain environment variable names, such as ``NMIGEN_ENV_Diamond`` or ``AMARANTH_ENV_Diamond``; use upper-case environment variable names, such as ``AMARANTH_ENV_DIAMOND``.
 
 

diff --git a/docs/amaranth/latest/_static/documentation_options.js b/docs/amaranth/latest/_static/documentation_options.js
@@ -1,6 +1,6 @@
 var DOCUMENTATION_OPTIONS = {
     URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'),
-    VERSION: '0.4.1.dev83',
+    VERSION: '0.4.1.dev84',
     LANGUAGE: 'en',
     COLLAPSE_INDEX: false,
     BUILDER: 'html',

diff --git a/docs/amaranth/latest/changes.html b/docs/amaranth/latest/changes.html
@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="generator" content="Docutils 0.18.1: http://docutils.sourceforge.net/" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Changelog &mdash; Amaranth language &amp; toolchain 0.4.1.dev83 documentation</title>
+  <title>Changelog &mdash; Amaranth language &amp; toolchain 0.4.1.dev84 documentation</title>
       <link rel="stylesheet" href="_static/pygments.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
       <link rel="stylesheet" href="_static/platformpicker.css" type="text/css" />
@@ -15,7 +15,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=6342d7e3"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=a8cb472e"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -39,7 +39,7 @@
               <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.4.1.dev83+g2d42d64
+                0.4.1.dev84+g4014f64
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">
@@ -145,9 +145,8 @@ <h3>Migrating from version 0.4<a class="headerlink" href="#migrating-from-versio
 <li><p>Replace uses of <code class="docutils literal notranslate"><span class="pre">Value.matches()</span></code> with no patterns with <code class="docutils literal notranslate"><span class="pre">Const(1)</span></code></p></li>
 <li><p>Update uses of <code class="docutils literal notranslate"><span class="pre">amaranth.utils.log2_int(need_pow2=False)</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="docutils literal notranslate"><span class="pre">amaranth.utils.log2_int(need_pow2=True)</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>Update uses of <code class="docutils literal notranslate"><span class="pre">Simulator.add_process</span></code> to <code class="docutils literal notranslate"><span class="pre">Simulator.add_testbench</span></code></p></li>
 <li><p>Convert uses of <code class="docutils literal notranslate"><span class="pre">Simulator.add_sync_process</span></code> used as testbenches to <code class="docutils literal notranslate"><span class="pre">Simulator.add_testbench</span></code></p></li>
-<li><p>Convert uses of <code class="docutils literal notranslate"><span class="pre">yield</span> <span class="pre">Tick()</span></code> within remaining <code class="docutils literal notranslate"><span class="pre">Simulator.add_sync_process</span></code> to plain <code class="docutils literal notranslate"><span class="pre">yield</span></code></p></li>
+<li><p>Convert other uses of <code class="docutils literal notranslate"><span class="pre">Simulator.add_sync_process</span></code> to <code class="docutils literal notranslate"><span class="pre">Simulator.add_process</span></code></p></li>
 </ul>
 </section>
 <section id="implemented-rfcs">
@@ -188,7 +187,7 @@ <h3>Toolchain changes<a class="headerlink" href="#toolchain-changes" title="Perm
 <ul class="simple">
 <li><p>Added: <code class="docutils literal notranslate"><span class="pre">Simulator.add_testbench</span></code>. (<a class="reference external" href="https://amaranth-lang.org/rfcs/0027-simulator-testbenches.html">RFC 27</a>)</p></li>
 <li><p>Deprecated: <code class="docutils literal notranslate"><span class="pre">Settle</span></code> simulation command. (<a class="reference external" href="https://amaranth-lang.org/rfcs/0027-simulator-testbenches.html">RFC 27</a>)</p></li>
-<li><p>Deprecated: <code class="docutils literal notranslate"><span class="pre">Simulator.add_process</span></code>. (<a class="reference external" href="https://amaranth-lang.org/rfcs/0027-simulator-testbenches.html">RFC 27</a>)</p></li>
+<li><p>Deprecated: <code class="docutils literal notranslate"><span class="pre">Simulator.add_sync_process</span></code>. (<a class="reference external" href="https://amaranth-lang.org/rfcs/0027-simulator-testbenches.html">RFC 27</a>)</p></li>
 <li><p>Removed: (deprecated in 0.4) use of mixed-case toolchain environment variable names, such as <code class="docutils literal notranslate"><span class="pre">NMIGEN_ENV_Diamond</span></code> or <code class="docutils literal notranslate"><span class="pre">AMARANTH_ENV_Diamond</span></code>; use upper-case environment variable names, such as <code class="docutils literal notranslate"><span class="pre">AMARANTH_ENV_DIAMOND</span></code>.</p></li>
 </ul>
 </section>

diff --git a/docs/amaranth/latest/changes.rst b/docs/amaranth/latest/changes.rst
@@ -29,9 +29,8 @@ Apply the following changes to code written against Amaranth 0.4 to migrate it t
 * Replace uses of ``Value.matches()`` with no patterns with ``Const(1)``
 * Update uses of ``amaranth.utils.log2_int(need_pow2=False)`` to :func:`amaranth.utils.ceil_log2`
 * Update uses of ``amaranth.utils.log2_int(need_pow2=True)`` to :func:`amaranth.utils.exact_log2`
-* Update uses of ``Simulator.add_process`` to ``Simulator.add_testbench``
 * Convert uses of ``Simulator.add_sync_process`` used as testbenches to ``Simulator.add_testbench``
-* Convert uses of ``yield Tick()`` within remaining ``Simulator.add_sync_process`` to plain ``yield``
+* Convert other uses of ``Simulator.add_sync_process`` to ``Simulator.add_process``
 
 
 Implemented RFCs
@@ -81,7 +80,7 @@ Toolchain changes
 
 * Added: ``Simulator.add_testbench``. (`RFC 27`_)
 * Deprecated: ``Settle`` simulation command. (`RFC 27`_)
-* Deprecated: ``Simulator.add_process``. (`RFC 27`_)
+* Deprecated: ``Simulator.add_sync_process``. (`RFC 27`_)
 * Removed: (deprecated in 0.4) use of mixed-case toolchain environment variable names, such as ``NMIGEN_ENV_Diamond`` or ``AMARANTH_ENV_Diamond``; use upper-case environment variable names, such as ``AMARANTH_ENV_DIAMOND``.
 
 

diff --git a/docs/amaranth/latest/contrib.html b/docs/amaranth/latest/contrib.html
@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="generator" content="Docutils 0.18.1: http://docutils.sourceforge.net/" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Contributing &mdash; Amaranth language &amp; toolchain 0.4.1.dev83 documentation</title>
+  <title>Contributing &mdash; Amaranth language &amp; toolchain 0.4.1.dev84 documentation</title>
       <link rel="stylesheet" href="_static/pygments.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
       <link rel="stylesheet" href="_static/platformpicker.css" type="text/css" />
@@ -15,7 +15,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=6342d7e3"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=a8cb472e"></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.4.1.dev83+g2d42d64
+                0.4.1.dev84+g4014f64
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">

diff --git a/docs/amaranth/latest/cover.html b/docs/amaranth/latest/cover.html
@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="generator" content="Docutils 0.18.1: http://docutils.sourceforge.net/" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Amaranth project documentation &mdash; Amaranth language &amp; toolchain 0.4.1.dev83 documentation</title>
+  <title>Amaranth project documentation &mdash; Amaranth language &amp; toolchain 0.4.1.dev84 documentation</title>
       <link rel="stylesheet" href="_static/pygments.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
       <link rel="stylesheet" href="_static/platformpicker.css" type="text/css" />
@@ -15,7 +15,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=6342d7e3"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=a8cb472e"></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.4.1.dev83+g2d42d64
+                0.4.1.dev84+g4014f64
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">

diff --git a/docs/amaranth/latest/genindex.html b/docs/amaranth/latest/genindex.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.4.1.dev83 documentation</title>
+  <title>Index &mdash; Amaranth language &amp; toolchain 0.4.1.dev84 documentation</title>
       <link rel="stylesheet" href="_static/pygments.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
       <link rel="stylesheet" href="_static/platformpicker.css" type="text/css" />
@@ -14,7 +14,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=6342d7e3"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=a8cb472e"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -36,7 +36,7 @@
               <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.4.1.dev83+g2d42d64
+                0.4.1.dev84+g4014f64
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">

diff --git a/docs/amaranth/latest/guide.html b/docs/amaranth/latest/guide.html
@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="generator" content="Docutils 0.18.1: http://docutils.sourceforge.net/" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Language guide &mdash; Amaranth language &amp; toolchain 0.4.1.dev83 documentation</title>
+  <title>Language guide &mdash; Amaranth language &amp; toolchain 0.4.1.dev84 documentation</title>
       <link rel="stylesheet" href="_static/pygments.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
       <link rel="stylesheet" href="_static/platformpicker.css" type="text/css" />
@@ -15,7 +15,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=6342d7e3"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=a8cb472e"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -39,7 +39,7 @@
               <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.4.1.dev83+g2d42d64
+                0.4.1.dev84+g4014f64
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">

diff --git a/docs/amaranth/latest/index.html b/docs/amaranth/latest/index.html
@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="generator" content="Docutils 0.18.1: http://docutils.sourceforge.net/" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Language &amp; toolchain &mdash; Amaranth language &amp; toolchain 0.4.1.dev83 documentation</title>
+  <title>Language &amp; toolchain &mdash; Amaranth language &amp; toolchain 0.4.1.dev84 documentation</title>
       <link rel="stylesheet" href="_static/pygments.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
       <link rel="stylesheet" href="_static/platformpicker.css" type="text/css" />
@@ -15,7 +15,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=6342d7e3"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=a8cb472e"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -39,7 +39,7 @@
               <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.4.1.dev83+g2d42d64
+                0.4.1.dev84+g4014f64
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">

diff --git a/docs/amaranth/latest/install.html b/docs/amaranth/latest/install.html
@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="generator" content="Docutils 0.18.1: http://docutils.sourceforge.net/" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Installation &mdash; Amaranth language &amp; toolchain 0.4.1.dev83 documentation</title>
+  <title>Installation &mdash; Amaranth language &amp; toolchain 0.4.1.dev84 documentation</title>
       <link rel="stylesheet" href="_static/pygments.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
       <link rel="stylesheet" href="_static/platformpicker.css" type="text/css" />
@@ -15,7 +15,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=6342d7e3"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=a8cb472e"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -39,7 +39,7 @@
               <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.4.1.dev83+g2d42d64
+                0.4.1.dev84+g4014f64
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">

diff --git a/docs/amaranth/latest/intro.html b/docs/amaranth/latest/intro.html
@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="generator" content="Docutils 0.18.1: http://docutils.sourceforge.net/" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Introduction &mdash; Amaranth language &amp; toolchain 0.4.1.dev83 documentation</title>
+  <title>Introduction &mdash; Amaranth language &amp; toolchain 0.4.1.dev84 documentation</title>
       <link rel="stylesheet" href="_static/pygments.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
       <link rel="stylesheet" href="_static/platformpicker.css" type="text/css" />
@@ -15,7 +15,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=6342d7e3"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=a8cb472e"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -39,7 +39,7 @@
               <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.4.1.dev83+g2d42d64
+                0.4.1.dev84+g4014f64
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">

diff --git a/docs/amaranth/latest/objects.inv b/docs/amaranth/latest/objects.inv