amaranth-lang · Dec 11, 2021
diff --git a/latest/.buildinfo b/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: a5f181ca87b053890a0d1cae690289f7
+config: 8de107503e71ec7dc2ddabf6a35012e4
 tags: 645f666f9bcd5a90fca523b33c5a78b7
diff --git a/latest/.doctrees/environment.pickle b/latest/.doctrees/environment.pickle
diff --git a/latest/.doctrees/install.doctree b/latest/.doctrees/install.doctree
diff --git a/latest/.doctrees/lang.doctree b/latest/.doctrees/lang.doctree
diff --git a/latest/_sources/install.rst.txt b/latest/_sources/install.rst.txt
@@ -4,9 +4,11 @@ Installation
 System requirements
 ===================
 
+.. |yosys-version| replace:: 0.10 (or newer)
+
 Amaranth HDL requires Python 3.6; it works on CPython_ 3.6 (or newer), and works faster on PyPy3.6_ 7.2 (or newer).
 
-For most workflows, Amaranth requires Yosys_ 0.9 (or newer). A compatible version of Yosys is distributed via PyPI_ for most popular platforms.
+For most workflows, Amaranth requires Yosys_ |yosys-version|. A compatible version of Yosys is distributed via PyPI_ for most popular platforms.
 
 Simulating Amaranth code requires no additional software. However, a waveform viewer like GTKWave_ is invaluable for debugging.
 
@@ -66,7 +68,7 @@ Installing prerequisites
 
          $ sudo apt-get install yosys
 
-      If Yosys 0.9 (or newer) is not available, `build Yosys from source`_.
+      If Yosys |yosys-version| is not available, `build Yosys from source`_.
 
    .. platform-choice:: arch
       :altname: linux
@@ -85,7 +87,7 @@ Installing prerequisites
 
       On architectures other than |builtin-yosys-architectures|, install Yosys from the package repository of your distribution.
 
-      If Yosys 0.9 (or newer) is not available, `build Yosys from source`_.
+      If Yosys |yosys-version| is not available, `build Yosys from source`_.
 
       .. _build Yosys from source: https://github.com/YosysHQ/yosys/#setup
 

diff --git a/latest/_sources/lang.rst.txt b/latest/_sources/lang.rst.txt
@@ -421,19 +421,17 @@ While arithmetic computations never result in an overflow, :ref:`assigning <lang
 
 The following table lists the arithmetic operations provided by Amaranth:
 
-============ ========================== ======
-Operation    Description                Notes
-============ ========================== ======
+============ ==========================
+Operation    Description
+============ ==========================
 ``a + b``    addition
 ``-a``       negation
 ``a - b``    subtraction
 ``a * b``    multiplication
-``a // b``   floor division             [#opA1]_
-``a % b``    modulo                     [#opA1]_
+``a // b``   floor division
+``a % b``    modulo
 ``abs(a)``   absolute value
-============ ========================== ======
-
-.. [#opA1] Divisor must be unsigned; this is an Amaranth limitation that may be lifted in the future.
+============ ==========================
 
 
 .. _lang-cmpops:

diff --git a/latest/_static/documentation_options.js b/latest/_static/documentation_options.js
@@ -1,6 +1,6 @@
 var DOCUMENTATION_OPTIONS = {
     URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'),
-    VERSION: '0.3.dev284',
+    VERSION: '0.3.dev285',
     LANGUAGE: 'None',
     COLLAPSE_INDEX: false,
     BUILDER: 'html',

diff --git a/latest/cover.html b/latest/cover.html
@@ -7,7 +7,7 @@
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
 
-  <title>Amaranth HDL documentation &mdash; Amaranth HDL toolchain 0.3.dev284 documentation</title>
+  <title>Amaranth HDL documentation &mdash; Amaranth HDL toolchain 0.3.dev285 documentation</title>
 
 
 
@@ -68,7 +68,7 @@
 
 
               <div class="version">
-                0.3.dev284+g25573c5
+                0.3.dev285+gb452e0e
               </div>
 
 

diff --git a/latest/genindex.html b/latest/genindex.html
@@ -7,7 +7,7 @@
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
 
-  <title>Index &mdash; Amaranth HDL toolchain 0.3.dev284 documentation</title>
+  <title>Index &mdash; Amaranth HDL toolchain 0.3.dev285 documentation</title>
 
 
 
@@ -67,7 +67,7 @@
 
 
               <div class="version">
-                0.3.dev284+g25573c5
+                0.3.dev285+gb452e0e
               </div>
 
 

diff --git a/latest/index.html b/latest/index.html
@@ -7,7 +7,7 @@
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
 
-  <title>Language &amp; toolchain &mdash; Amaranth HDL toolchain 0.3.dev284 documentation</title>
+  <title>Language &amp; toolchain &mdash; Amaranth HDL toolchain 0.3.dev285 documentation</title>
 
 
 
@@ -69,7 +69,7 @@
 
 
               <div class="version">
-                0.3.dev284+g25573c5
+                0.3.dev285+gb452e0e
               </div>
 
 

diff --git a/latest/install.html b/latest/install.html
@@ -7,7 +7,7 @@
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
 
-  <title>Installation &mdash; Amaranth HDL toolchain 0.3.dev284 documentation</title>
+  <title>Installation &mdash; Amaranth HDL toolchain 0.3.dev285 documentation</title>
 
 
 
@@ -69,7 +69,7 @@
 
 
               <div class="version">
-                0.3.dev284+g25573c5
+                0.3.dev285+gb452e0e
               </div>
 
 
@@ -189,7 +189,7 @@ <h1>Installation<a class="headerlink" href="#installation" title="Permalink to t
 <div class="section" id="system-requirements">
 <h2>System requirements<a class="headerlink" href="#system-requirements" title="Permalink to this headline">¶</a></h2>
 <p>Amaranth HDL requires Python 3.6; it works on <a class="reference external" href="https://www.python.org/">CPython</a> 3.6 (or newer), and works faster on <a class="reference external" href="https://www.pypy.org/">PyPy3.6</a> 7.2 (or newer).</p>
-<p>For most workflows, Amaranth requires <a class="reference external" href="https://yosyshq.net/yosys/">Yosys</a> 0.9 (or newer). A compatible version of Yosys is distributed via <a class="reference external" href="https://pypi.org/">PyPI</a> for most popular platforms.</p>
+<p>For most workflows, Amaranth requires <a class="reference external" href="https://yosyshq.net/yosys/">Yosys</a> 0.10 (or newer). A compatible version of Yosys is distributed via <a class="reference external" href="https://pypi.org/">PyPI</a> for most popular platforms.</p>
 <p>Simulating Amaranth code requires no additional software. However, a waveform viewer like <a class="reference external" href="http://gtkwave.sourceforge.net/">GTKWave</a> is invaluable for debugging.</p>
 <p>Synthesizing, placing and routing an Amaranth design for an FPGA requires the FPGA family specific toolchain.</p>
 </div>
@@ -218,7 +218,7 @@ <h2>System requirements<a class="headerlink" href="#system-requirements" title="
 <div class="highlight-console notranslate"><div class="highlight"><pre><span></span><span class="gp">$ </span>sudo apt-get install yosys
 </pre></div>
 </div>
-<p>If Yosys 0.9 (or newer) is not available, <a class="reference external" href="https://github.com/YosysHQ/yosys/#setup">build Yosys from source</a>.</p>
+<p>If Yosys 0.10 (or newer) is not available, <a class="reference external" href="https://github.com/YosysHQ/yosys/#setup">build Yosys from source</a>.</p>
 </div>
 <div class="platform-choice platform--arch platform--linux docutils container">
 <p class="platform-title">Arch Linux</p>
@@ -231,7 +231,7 @@ <h2>System requirements<a class="headerlink" href="#system-requirements" title="
 <p class="platform-title">Other Linux</p>
 <p>Install Python and GTKWave from the package repository of your distribution.</p>
 <p>On architectures other than x86_64 and AArch64, install Yosys from the package repository of your distribution.</p>
-<p>If Yosys 0.9 (or newer) is not available, <a class="reference external" href="https://github.com/YosysHQ/yosys/#setup">build Yosys from source</a>.</p>
+<p>If Yosys 0.10 (or newer) is not available, <a class="reference external" href="https://github.com/YosysHQ/yosys/#setup">build Yosys from source</a>.</p>
 </div>
 </div>
 </div>

diff --git a/latest/intro.html b/latest/intro.html
@@ -7,7 +7,7 @@
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
 
-  <title>Introduction &mdash; Amaranth HDL toolchain 0.3.dev284 documentation</title>
+  <title>Introduction &mdash; Amaranth HDL toolchain 0.3.dev285 documentation</title>
 
 
 
@@ -69,7 +69,7 @@
 
 
               <div class="version">
-                0.3.dev284+g25573c5
+                0.3.dev285+gb452e0e
               </div>