Deploying to main from @ amaranth-lang/amaranth@996fcfb 🚀

amaranth-lang · Jan 4, 2024 · 97558b3 · 97558b3
1 parent 4d0246d
commit 97558b3
Show file tree

Hide file tree

Showing 36 changed files with 130 additions and 90 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: be66936d1fb7c3227dbfaa88e7ccb45a
+config: d461e6dcf4dd3592e3d5e9035f1f4cd8
 tags: 645f666f9bcd5a90fca523b33c5a78b7
diff --git a/docs/amaranth/latest/.doctrees/environment.pickle b/docs/amaranth/latest/.doctrees/environment.pickle
diff --git a/docs/amaranth/latest/_static/custom.css b/docs/amaranth/latest/_static/custom.css
@@ -1,3 +1,13 @@
+/* Links in text should be underlined. */
+a { text-decoration: underline; }
+.wy-menu-vertical a, .wy-side-nav-search > a { text-decoration: none; }
+
+/* Match the logo colors in the background. */
+.wy-side-nav-search { background-color: #784b9a; }
+
+/* Make the logo more reasonably sized. */
+.wy-side-nav-search > a img.logo { width: 200px; }
+
 /* Some of our section titles are looong */
 .wy-nav-side, .wy-side-scroll, .wy-menu-vertical { width: 340px; }
 .wy-side-nav-search { width: 325px; }

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.dev15',
+    VERSION: '0.4.1.dev19',
     LANGUAGE: 'en',
     COLLAPSE_INDEX: false,
     BUILDER: 'html',

diff --git a/docs/amaranth/latest/_static/logo.png b/docs/amaranth/latest/_static/logo.png
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 HDL toolchain 0.4.1.dev15 documentation</title>
+  <title>Changelog &mdash; Amaranth HDL toolchain 0.4.1.dev19 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=f8e09dd1"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=2702b479"></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,9 +36,10 @@
 
           <a href="cover.html" class="icon icon-home">
             Amaranth HDL toolchain
+              <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.4.1.dev15+gc00e770.editable
+                0.4.1.dev19+g996fcfb
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">

diff --git a/docs/amaranth/latest/conf.py b/docs/amaranth/latest/conf.py
@@ -4,7 +4,7 @@
 import amaranth
 
 project = "Amaranth HDL toolchain"
-version = amaranth.__version__
+version = amaranth.__version__.replace(".editable", "")
 release = version.split("+")[0]
 copyright = "2020—2023, Amaranth HDL developers"
 
@@ -43,6 +43,7 @@
 html_theme = "sphinx_rtd_theme"
 html_static_path = ["_static"]
 html_css_files = ["custom.css"]
+html_logo = "_static/logo.png"
 
 rst_prolog = """
 .. role:: pc(code)

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 HDL toolchain 0.4.1.dev15 documentation</title>
+  <title>Contributing &mdash; Amaranth HDL toolchain 0.4.1.dev19 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=f8e09dd1"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=2702b479"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -35,9 +35,10 @@
 
           <a href="cover.html" class="icon icon-home">
             Amaranth HDL toolchain
+              <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.4.1.dev15+gc00e770.editable
+                0.4.1.dev19+g996fcfb
               </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 HDL documentation &mdash; Amaranth HDL toolchain 0.4.1.dev15 documentation</title>
+  <title>Amaranth HDL documentation &mdash; Amaranth HDL toolchain 0.4.1.dev19 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=f8e09dd1"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=2702b479"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -35,9 +35,10 @@
 
           <a href="#" class="icon icon-home">
             Amaranth HDL toolchain
+              <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.4.1.dev15+gc00e770.editable
+                0.4.1.dev19+g996fcfb
               </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 HDL toolchain 0.4.1.dev15 documentation</title>
+  <title>Index &mdash; Amaranth HDL toolchain 0.4.1.dev19 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=f8e09dd1"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=2702b479"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -33,9 +33,10 @@
 
           <a href="cover.html" class="icon icon-home">
             Amaranth HDL toolchain
+              <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.4.1.dev15+gc00e770.editable
+                0.4.1.dev19+g996fcfb
               </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 HDL toolchain 0.4.1.dev15 documentation</title>
+  <title>Language &amp; toolchain &mdash; Amaranth HDL toolchain 0.4.1.dev19 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=f8e09dd1"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=2702b479"></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,9 +36,10 @@
 
           <a href="cover.html" class="icon icon-home">
             Amaranth HDL toolchain
+              <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.4.1.dev15+gc00e770.editable
+                0.4.1.dev19+g996fcfb
               </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 HDL toolchain 0.4.1.dev15 documentation</title>
+  <title>Installation &mdash; Amaranth HDL toolchain 0.4.1.dev19 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=f8e09dd1"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=2702b479"></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,9 +36,10 @@
 
           <a href="cover.html" class="icon icon-home">
             Amaranth HDL toolchain
+              <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.4.1.dev15+gc00e770.editable
+                0.4.1.dev19+g996fcfb
               </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 HDL toolchain 0.4.1.dev15 documentation</title>
+  <title>Introduction &mdash; Amaranth HDL toolchain 0.4.1.dev19 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=f8e09dd1"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=2702b479"></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,9 +36,10 @@
 
           <a href="cover.html" class="icon icon-home">
             Amaranth HDL toolchain
+              <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.4.1.dev15+gc00e770.editable
+                0.4.1.dev19+g996fcfb
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">

diff --git a/docs/amaranth/latest/lang.html b/docs/amaranth/latest/lang.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 HDL toolchain 0.4.1.dev15 documentation</title>
+  <title>Language guide &mdash; Amaranth HDL toolchain 0.4.1.dev19 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=f8e09dd1"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=2702b479"></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,9 +36,10 @@
 
           <a href="cover.html" class="icon icon-home">
             Amaranth HDL toolchain
+              <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.4.1.dev15+gc00e770.editable
+                0.4.1.dev19+g996fcfb
               </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
diff --git a/docs/amaranth/latest/platform.html b/docs/amaranth/latest/platform.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>Platform integration &mdash; Amaranth HDL toolchain 0.4.1.dev15 documentation</title>
+  <title>Platform integration &mdash; Amaranth HDL toolchain 0.4.1.dev19 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=f8e09dd1"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=2702b479"></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,9 +36,10 @@
 
           <a href="cover.html" class="icon icon-home">
             Amaranth HDL toolchain
+              <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.4.1.dev15+gc00e770.editable
+                0.4.1.dev19+g996fcfb
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">

diff --git a/docs/amaranth/latest/platform/gowin.html b/docs/amaranth/latest/platform/gowin.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>Gowin &mdash; Amaranth HDL toolchain 0.4.1.dev15 documentation</title>
+  <title>Gowin &mdash; Amaranth HDL toolchain 0.4.1.dev19 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=f8e09dd1"></script>
+        <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js?v=2702b479"></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,9 +36,10 @@
 
           <a href="../cover.html" class="icon icon-home">
             Amaranth HDL toolchain
+              <img src="../_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.4.1.dev15+gc00e770.editable
+                0.4.1.dev19+g996fcfb
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="../search.html" method="get">

diff --git a/docs/amaranth/latest/platform/intel.html b/docs/amaranth/latest/platform/intel.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>Intel &mdash; Amaranth HDL toolchain 0.4.1.dev15 documentation</title>
+  <title>Intel &mdash; Amaranth HDL toolchain 0.4.1.dev19 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=f8e09dd1"></script>
+        <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js?v=2702b479"></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,9 +36,10 @@
 
           <a href="../cover.html" class="icon icon-home">
             Amaranth HDL toolchain
+              <img src="../_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.4.1.dev15+gc00e770.editable
+                0.4.1.dev19+g996fcfb
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="../search.html" method="get">