Skip to content

Commit c149d5b

Browse files
github-merge-queue[bot]github-merge-queue[bot]
committed
Deploying to main from @ amaranth-lang/amaranth@6549615 🚀
1 parent 4ce98b8 commit c149d5b

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

41 files changed

+102
-156
lines changed

‎docs/amaranth/latest/.buildinfo

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
11
# Sphinx build info version 1
22
# This file hashes the configuration used when building these files. When it is not found, a full rebuild will be done.
3-
config: 1aeca3839adc39dedf5dbe86617011ce
3+
config: 5dd73bb8b3a3edb04760782bd91d95d0
44
tags: 645f666f9bcd5a90fca523b33c5a78b7

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

-1.68 KB
Binary file not shown.

‎docs/amaranth/latest/.doctrees/install.doctree

-1.63 KB
Binary file not shown.

‎docs/amaranth/latest/_sources/install.rst.txt

Lines changed: 0 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -106,16 +106,6 @@ Installing prerequisites
106106
107107
$ pip3 install --user --upgrade pip
108108
109-
.. platform-choice:: arch
110-
:altname: linux
111-
:title: Arch Linux
112-
113-
Install Python and pip by running:
114-
115-
.. code-block:: console
116-
117-
$ sudo pacman -S python python-pip
118-
119109
.. platform-choice:: linux
120110
:title: Other Linux
121111

@@ -184,16 +174,6 @@ Latest release
184174
185175
$ pip3 install --user --upgrade amaranth
186176
187-
.. platform-choice:: arch
188-
:altname: linux
189-
:title: Arch Linux
190-
191-
|release:install|
192-
193-
.. code-block:: console
194-
195-
$ sudo pacman -S python-amaranth
196-
197177
198178
.. _install-snapshot:
199179

‎docs/amaranth/latest/_static/documentation_options.js

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
var DOCUMENTATION_OPTIONS = {
22
URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'),
3-
VERSION: '0.6.0.dev45',
3+
VERSION: '0.6.0.dev46',
44
LANGUAGE: 'en',
55
COLLAPSE_INDEX: false,
66
BUILDER: 'html',

‎docs/amaranth/latest/changes.html

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
<meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
55

66
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
7-
<title>Changelog &mdash; Amaranth language &amp; toolchain 0.6.0.dev45 documentation</title>
7+
<title>Changelog &mdash; Amaranth language &amp; toolchain 0.6.0.dev46 documentation</title>
88
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
99
<link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
1010
<link rel="stylesheet" type="text/css" href="_static/platformpicker.css" />
@@ -17,7 +17,7 @@
1717

1818
<script src="_static/jquery.js?v=5d32c60e"></script>
1919
<script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
20-
<script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=3ed2963c"></script>
20+
<script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=092a1c56"></script>
2121
<script src="_static/doctools.js?v=888ff710"></script>
2222
<script src="_static/sphinx_highlight.js?v=4825356b"></script>
2323
<script src="_static/platformpicker.js"></script>
@@ -41,7 +41,7 @@
4141
<img src="_static/logo.png" class="logo" alt="Logo"/>
4242
</a>
4343
<div class="version">
44-
0.6.0.dev45
44+
0.6.0.dev46
4545
</div>
4646
<div role="search">
4747
<form id="rtd-search-form" class="wy-form" action="search.html" method="get">

‎docs/amaranth/latest/contrib.html

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
<meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
55

66
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
7-
<title>Contributing &mdash; Amaranth language &amp; toolchain 0.6.0.dev45 documentation</title>
7+
<title>Contributing &mdash; Amaranth language &amp; toolchain 0.6.0.dev46 documentation</title>
88
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
99
<link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
1010
<link rel="stylesheet" type="text/css" href="_static/platformpicker.css" />
@@ -17,7 +17,7 @@
1717

1818
<script src="_static/jquery.js?v=5d32c60e"></script>
1919
<script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
20-
<script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=3ed2963c"></script>
20+
<script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=092a1c56"></script>
2121
<script src="_static/doctools.js?v=888ff710"></script>
2222
<script src="_static/sphinx_highlight.js?v=4825356b"></script>
2323
<script src="_static/platformpicker.js"></script>
@@ -40,7 +40,7 @@
4040
<img src="_static/logo.png" class="logo" alt="Logo"/>
4141
</a>
4242
<div class="version">
43-
0.6.0.dev45
43+
0.6.0.dev46
4444
</div>
4545
<div role="search">
4646
<form id="rtd-search-form" class="wy-form" action="search.html" method="get">

‎docs/amaranth/latest/cover.html

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
<meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
55

66
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
7-
<title>Amaranth project documentation &mdash; Amaranth language &amp; toolchain 0.6.0.dev45 documentation</title>
7+
<title>Amaranth project documentation &mdash; Amaranth language &amp; toolchain 0.6.0.dev46 documentation</title>
88
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
99
<link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
1010
<link rel="stylesheet" type="text/css" href="_static/platformpicker.css" />
@@ -17,7 +17,7 @@
1717

1818
<script src="_static/jquery.js?v=5d32c60e"></script>
1919
<script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
20-
<script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=3ed2963c"></script>
20+
<script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=092a1c56"></script>
2121
<script src="_static/doctools.js?v=888ff710"></script>
2222
<script src="_static/sphinx_highlight.js?v=4825356b"></script>
2323
<script src="_static/platformpicker.js"></script>
@@ -40,7 +40,7 @@
4040
<img src="_static/logo.png" class="logo" alt="Logo"/>
4141
</a>
4242
<div class="version">
43-
0.6.0.dev45
43+
0.6.0.dev46
4444
</div>
4545
<div role="search">
4646
<form id="rtd-search-form" class="wy-form" action="search.html" method="get">

‎docs/amaranth/latest/genindex.html

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
<head>
44
<meta charset="utf-8" />
55
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
6-
<title>Index &mdash; Amaranth language &amp; toolchain 0.6.0.dev45 documentation</title>
6+
<title>Index &mdash; Amaranth language &amp; toolchain 0.6.0.dev46 documentation</title>
77
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
88
<link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
99
<link rel="stylesheet" type="text/css" href="_static/platformpicker.css" />
@@ -16,7 +16,7 @@
1616

1717
<script src="_static/jquery.js?v=5d32c60e"></script>
1818
<script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
19-
<script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=3ed2963c"></script>
19+
<script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=092a1c56"></script>
2020
<script src="_static/doctools.js?v=888ff710"></script>
2121
<script src="_static/sphinx_highlight.js?v=4825356b"></script>
2222
<script src="_static/platformpicker.js"></script>
@@ -38,7 +38,7 @@
3838
<img src="_static/logo.png" class="logo" alt="Logo"/>
3939
</a>
4040
<div class="version">
41-
0.6.0.dev45
41+
0.6.0.dev46
4242
</div>
4343
<div role="search">
4444
<form id="rtd-search-form" class="wy-form" action="search.html" method="get">

‎docs/amaranth/latest/guide.html

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
<meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
55

66
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
7-
<title>Language guide &mdash; Amaranth language &amp; toolchain 0.6.0.dev45 documentation</title>
7+
<title>Language guide &mdash; Amaranth language &amp; toolchain 0.6.0.dev46 documentation</title>
88
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
99
<link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
1010
<link rel="stylesheet" type="text/css" href="_static/platformpicker.css" />
@@ -17,7 +17,7 @@
1717

1818
<script src="_static/jquery.js?v=5d32c60e"></script>
1919
<script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
20-
<script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=3ed2963c"></script>
20+
<script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=092a1c56"></script>
2121
<script src="_static/doctools.js?v=888ff710"></script>
2222
<script src="_static/sphinx_highlight.js?v=4825356b"></script>
2323
<script src="_static/platformpicker.js"></script>
@@ -41,7 +41,7 @@
4141
<img src="_static/logo.png" class="logo" alt="Logo"/>
4242
</a>
4343
<div class="version">
44-
0.6.0.dev45
44+
0.6.0.dev46
4545
</div>
4646
<div role="search">
4747
<form id="rtd-search-form" class="wy-form" action="search.html" method="get">

‎docs/amaranth/latest/index.html

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
<meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
55

66
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
7-
<title>Language &amp; toolchain &mdash; Amaranth language &amp; toolchain 0.6.0.dev45 documentation</title>
7+
<title>Language &amp; toolchain &mdash; Amaranth language &amp; toolchain 0.6.0.dev46 documentation</title>
88
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
99
<link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
1010
<link rel="stylesheet" type="text/css" href="_static/platformpicker.css" />
@@ -17,7 +17,7 @@
1717

1818
<script src="_static/jquery.js?v=5d32c60e"></script>
1919
<script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
20-
<script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=3ed2963c"></script>
20+
<script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=092a1c56"></script>
2121
<script src="_static/doctools.js?v=888ff710"></script>
2222
<script src="_static/sphinx_highlight.js?v=4825356b"></script>
2323
<script src="_static/platformpicker.js"></script>
@@ -41,7 +41,7 @@
4141
<img src="_static/logo.png" class="logo" alt="Logo"/>
4242
</a>
4343
<div class="version">
44-
0.6.0.dev45
44+
0.6.0.dev46
4545
</div>
4646
<div role="search">
4747
<form id="rtd-search-form" class="wy-form" action="search.html" method="get">

‎docs/amaranth/latest/install.html

Lines changed: 3 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
<meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
55

66
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
7-
<title>Installation &mdash; Amaranth language &amp; toolchain 0.6.0.dev45 documentation</title>
7+
<title>Installation &mdash; Amaranth language &amp; toolchain 0.6.0.dev46 documentation</title>
88
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
99
<link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
1010
<link rel="stylesheet" type="text/css" href="_static/platformpicker.css" />
@@ -17,7 +17,7 @@
1717

1818
<script src="_static/jquery.js?v=5d32c60e"></script>
1919
<script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
20-
<script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=3ed2963c"></script>
20+
<script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=092a1c56"></script>
2121
<script src="_static/doctools.js?v=888ff710"></script>
2222
<script src="_static/sphinx_highlight.js?v=4825356b"></script>
2323
<script src="_static/platformpicker.js"></script>
@@ -41,7 +41,7 @@
4141
<img src="_static/logo.png" class="logo" alt="Logo"/>
4242
</a>
4343
<div class="version">
44-
0.6.0.dev45
44+
0.6.0.dev46
4545
</div>
4646
<div role="search">
4747
<form id="rtd-search-form" class="wy-form" action="search.html" method="get">
@@ -158,13 +158,6 @@ <h1>Installation<a class="headerlink" href="#installation" title="Permalink to t
158158
</pre></div>
159159
</div>
160160
</div>
161-
<div class="platform-choice platform--arch platform--linux docutils container">
162-
<p class="platform-title">Arch Linux</p>
163-
<p>Install Python and pip by running:</p>
164-
<div class="highlight-console notranslate"><div class="highlight"><pre><span></span><span class="gp">$ </span>sudo<span class="w"> </span>pacman<span class="w"> </span>-S<span class="w"> </span>python<span class="w"> </span>python-pip
165-
</pre></div>
166-
</div>
167-
</div>
168161
<div class="platform-choice platform--linux platform-noaltname docutils container">
169162
<p class="platform-title">Other Linux</p>
170163
<p>Install Python from the package repository of your distribution.</p>
@@ -208,13 +201,6 @@ <h1>Installation<a class="headerlink" href="#installation" title="Permalink to t
208201
</pre></div>
209202
</div>
210203
</div>
211-
<div class="platform-choice platform--arch platform--linux docutils container">
212-
<p class="platform-title">Arch Linux</p>
213-
<p>To install the latest release of Amaranth, run:</p>
214-
<div class="highlight-console notranslate"><div class="highlight"><pre><span></span><span class="gp">$ </span>sudo<span class="w"> </span>pacman<span class="w"> </span>-S<span class="w"> </span>python-amaranth
215-
</pre></div>
216-
</div>
217-
</div>
218204
</div>
219205
</section>
220206
<section id="development-snapshot">

‎docs/amaranth/latest/install.rst

Lines changed: 0 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -106,16 +106,6 @@ Installing prerequisites
106106
107107
$ pip3 install --user --upgrade pip
108108
109-
.. platform-choice:: arch
110-
:altname: linux
111-
:title: Arch Linux
112-
113-
Install Python and pip by running:
114-
115-
.. code-block:: console
116-
117-
$ sudo pacman -S python python-pip
118-
119109
.. platform-choice:: linux
120110
:title: Other Linux
121111

@@ -184,16 +174,6 @@ Latest release
184174
185175
$ pip3 install --user --upgrade amaranth
186176
187-
.. platform-choice:: arch
188-
:altname: linux
189-
:title: Arch Linux
190-
191-
|release:install|
192-
193-
.. code-block:: console
194-
195-
$ sudo pacman -S python-amaranth
196-
197177
198178
.. _install-snapshot:
199179

‎docs/amaranth/latest/intro.html

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
<meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
55

66
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
7-
<title>Introduction &mdash; Amaranth language &amp; toolchain 0.6.0.dev45 documentation</title>
7+
<title>Introduction &mdash; Amaranth language &amp; toolchain 0.6.0.dev46 documentation</title>
88
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
99
<link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
1010
<link rel="stylesheet" type="text/css" href="_static/platformpicker.css" />
@@ -17,7 +17,7 @@
1717

1818
<script src="_static/jquery.js?v=5d32c60e"></script>
1919
<script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
20-
<script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=3ed2963c"></script>
20+
<script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=092a1c56"></script>
2121
<script src="_static/doctools.js?v=888ff710"></script>
2222
<script src="_static/sphinx_highlight.js?v=4825356b"></script>
2323
<script src="_static/platformpicker.js"></script>
@@ -41,7 +41,7 @@
4141
<img src="_static/logo.png" class="logo" alt="Logo"/>
4242
</a>
4343
<div class="version">
44-
0.6.0.dev45
44+
0.6.0.dev46
4545
</div>
4646
<div role="search">
4747
<form id="rtd-search-form" class="wy-form" action="search.html" method="get">

‎docs/amaranth/latest/objects.inv

0 Bytes
Binary file not shown.

‎docs/amaranth/latest/platform.html

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
<meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
55

66
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
7-
<title>Platform integration &mdash; Amaranth language &amp; toolchain 0.6.0.dev45 documentation</title>
7+
<title>Platform integration &mdash; Amaranth language &amp; toolchain 0.6.0.dev46 documentation</title>
88
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
99
<link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
1010
<link rel="stylesheet" type="text/css" href="_static/platformpicker.css" />
@@ -17,7 +17,7 @@
1717

1818
<script src="_static/jquery.js?v=5d32c60e"></script>
1919
<script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
20-
<script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=3ed2963c"></script>
20+
<script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=092a1c56"></script>
2121
<script src="_static/doctools.js?v=888ff710"></script>
2222
<script src="_static/sphinx_highlight.js?v=4825356b"></script>
2323
<script src="_static/platformpicker.js"></script>
@@ -41,7 +41,7 @@
4141
<img src="_static/logo.png" class="logo" alt="Logo"/>
4242
</a>
4343
<div class="version">
44-
0.6.0.dev45
44+
0.6.0.dev46
4545
</div>
4646
<div role="search">
4747
<form id="rtd-search-form" class="wy-form" action="search.html" method="get">

‎docs/amaranth/latest/platform/altera.html

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
<meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
55

66
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
7-
<title>Altera &mdash; Amaranth language &amp; toolchain 0.6.0.dev45 documentation</title>
7+
<title>Altera &mdash; Amaranth language &amp; toolchain 0.6.0.dev46 documentation</title>
88
<link rel="stylesheet" type="text/css" href="../_static/pygments.css?v=80d5e7a1" />
99
<link rel="stylesheet" type="text/css" href="../_static/css/theme.css?v=19f00094" />
1010
<link rel="stylesheet" type="text/css" href="../_static/platformpicker.css" />
@@ -17,7 +17,7 @@
1717

1818
<script src="../_static/jquery.js?v=5d32c60e"></script>
1919
<script src="../_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
20-
<script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js?v=3ed2963c"></script>
20+
<script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js?v=092a1c56"></script>
2121
<script src="../_static/doctools.js?v=888ff710"></script>
2222
<script src="../_static/sphinx_highlight.js?v=4825356b"></script>
2323
<script src="../_static/platformpicker.js"></script>
@@ -41,7 +41,7 @@
4141
<img src="../_static/logo.png" class="logo" alt="Logo"/>
4242
</a>
4343
<div class="version">
44-
0.6.0.dev45
44+
0.6.0.dev46
4545
</div>
4646
<div role="search">
4747
<form id="rtd-search-form" class="wy-form" action="../search.html" method="get">

0 commit comments

Comments
 (0)