Skip to content

Commit 1df000d

Browse files
github-merge-queue[bot]github-merge-queue[bot]
committed
Deploying to main from @ amaranth-lang/amaranth@f4804c0 🚀
1 parent 435e669 commit 1df000d

38 files changed

+234
-165
lines changed

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

+24-2
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,11 @@ Documentation for past releases
99

1010
Documentation for past releases of the Amaranth language and toolchain is available online:
1111

12+
* `Amaranth 0.5.5 <https://amaranth-lang.org/docs/amaranth/v0.5.5/>`_
13+
* `Amaranth 0.5.4 <https://amaranth-lang.org/docs/amaranth/v0.5.4/>`_
14+
* `Amaranth 0.5.3 <https://amaranth-lang.org/docs/amaranth/v0.5.3/>`_
15+
* `Amaranth 0.5.2 <https://amaranth-lang.org/docs/amaranth/v0.5.2/>`_
16+
* `Amaranth 0.5.1 <https://amaranth-lang.org/docs/amaranth/v0.5.1/>`_
1217
* `Amaranth 0.5.0 <https://amaranth-lang.org/docs/amaranth/v0.5.0/>`_
1318
* `Amaranth 0.4.5 <https://amaranth-lang.org/docs/amaranth/v0.4.5/>`_
1419
* `Amaranth 0.4.4 <https://amaranth-lang.org/docs/amaranth/v0.4.4/>`_
@@ -87,8 +92,25 @@ Platform integration changes
8792
* Changed: the Gowin platform now uses ``nextpnr-himbaechel`` rather than ``nextpnr-gowin``.
8893

8994

90-
Version 0.5.3 (unreleased)
91-
==========================
95+
Version 0.5.5
96+
=============
97+
98+
Standard library changes
99+
------------------------
100+
101+
.. currentmodule:: amaranth.lib
102+
103+
* Added: :class:`amaranth.lib.wiring.FlippedInterface` is hashable.
104+
105+
106+
Version 0.5.4
107+
=============
108+
109+
Updated to address deprecations in Yosys 0.48.
110+
111+
112+
Version 0.5.3
113+
=============
92114

93115

94116
Language changes

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

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
const DOCUMENTATION_OPTIONS = {
2-
VERSION: '0.6.0.dev85',
2+
VERSION: '0.6.0.dev86',
33
LANGUAGE: 'en',
44
COLLAPSE_INDEX: false,
55
BUILDER: 'html',

‎docs/amaranth/latest/changes.html

+85-62
Large diffs are not rendered by default.

‎docs/amaranth/latest/changes.rst

+24-2
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,11 @@ Documentation for past releases
99

1010
Documentation for past releases of the Amaranth language and toolchain is available online:
1111

12+
* `Amaranth 0.5.5 <https://amaranth-lang.org/docs/amaranth/v0.5.5/>`_
13+
* `Amaranth 0.5.4 <https://amaranth-lang.org/docs/amaranth/v0.5.4/>`_
14+
* `Amaranth 0.5.3 <https://amaranth-lang.org/docs/amaranth/v0.5.3/>`_
15+
* `Amaranth 0.5.2 <https://amaranth-lang.org/docs/amaranth/v0.5.2/>`_
16+
* `Amaranth 0.5.1 <https://amaranth-lang.org/docs/amaranth/v0.5.1/>`_
1217
* `Amaranth 0.5.0 <https://amaranth-lang.org/docs/amaranth/v0.5.0/>`_
1318
* `Amaranth 0.4.5 <https://amaranth-lang.org/docs/amaranth/v0.4.5/>`_
1419
* `Amaranth 0.4.4 <https://amaranth-lang.org/docs/amaranth/v0.4.4/>`_
@@ -87,8 +92,25 @@ Platform integration changes
8792
* Changed: the Gowin platform now uses ``nextpnr-himbaechel`` rather than ``nextpnr-gowin``.
8893

8994

90-
Version 0.5.3 (unreleased)
91-
==========================
95+
Version 0.5.5
96+
=============
97+
98+
Standard library changes
99+
------------------------
100+
101+
.. currentmodule:: amaranth.lib
102+
103+
* Added: :class:`amaranth.lib.wiring.FlippedInterface` is hashable.
104+
105+
106+
Version 0.5.4
107+
=============
108+
109+
Updated to address deprecations in Yosys 0.48.
110+
111+
112+
Version 0.5.3
113+
=============
92114

93115

94116
Language changes

‎docs/amaranth/latest/contrib.html

+3-3
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.dev85 documentation</title>
7+
<title>Contributing &mdash; Amaranth language &amp; toolchain 0.6.0.dev86 documentation</title>
88
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=b86133f3" />
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 src="_static/documentation_options.js?v=3cf58f41"></script>
20+
<script src="_static/documentation_options.js?v=0b0d052b"></script>
2121
<script src="_static/doctools.js?v=9a2dae69"></script>
2222
<script src="_static/sphinx_highlight.js?v=dc90522c"></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.dev85
43+
0.6.0.dev86
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

+3-3
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.dev85 documentation</title>
7+
<title>Amaranth project documentation &mdash; Amaranth language &amp; toolchain 0.6.0.dev86 documentation</title>
88
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=b86133f3" />
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 src="_static/documentation_options.js?v=3cf58f41"></script>
20+
<script src="_static/documentation_options.js?v=0b0d052b"></script>
2121
<script src="_static/doctools.js?v=9a2dae69"></script>
2222
<script src="_static/sphinx_highlight.js?v=dc90522c"></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.dev85
43+
0.6.0.dev86
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

+3-3
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.dev85 documentation</title>
6+
<title>Index &mdash; Amaranth language &amp; toolchain 0.6.0.dev86 documentation</title>
77
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=b86133f3" />
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 src="_static/documentation_options.js?v=3cf58f41"></script>
19+
<script src="_static/documentation_options.js?v=0b0d052b"></script>
2020
<script src="_static/doctools.js?v=9a2dae69"></script>
2121
<script src="_static/sphinx_highlight.js?v=dc90522c"></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.dev85
41+
0.6.0.dev86
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

+3-3
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.dev85 documentation</title>
7+
<title>Language guide &mdash; Amaranth language &amp; toolchain 0.6.0.dev86 documentation</title>
88
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=b86133f3" />
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 src="_static/documentation_options.js?v=3cf58f41"></script>
20+
<script src="_static/documentation_options.js?v=0b0d052b"></script>
2121
<script src="_static/doctools.js?v=9a2dae69"></script>
2222
<script src="_static/sphinx_highlight.js?v=dc90522c"></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.dev85
44+
0.6.0.dev86
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

+6-4
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.dev85 documentation</title>
7+
<title>Language &amp; toolchain &mdash; Amaranth language &amp; toolchain 0.6.0.dev86 documentation</title>
88
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=b86133f3" />
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 src="_static/documentation_options.js?v=3cf58f41"></script>
20+
<script src="_static/documentation_options.js?v=0b0d052b"></script>
2121
<script src="_static/doctools.js?v=9a2dae69"></script>
2222
<script src="_static/sphinx_highlight.js?v=dc90522c"></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.dev85
44+
0.6.0.dev86
4545
</div>
4646
<div role="search">
4747
<form id="rtd-search-form" class="wy-form" action="search.html" method="get">
@@ -189,7 +189,9 @@ <h1>Language &amp; toolchain<a class="headerlink" href="#language-toolchain" tit
189189
<li class="toctree-l1"><a class="reference internal" href="changes.html">Changelog</a><ul>
190190
<li class="toctree-l2"><a class="reference internal" href="changes.html#documentation-for-past-releases">Documentation for past releases</a></li>
191191
<li class="toctree-l2"><a class="reference internal" href="changes.html#version-0-6-0-unreleased">Version 0.6.0 (unreleased)</a></li>
192-
<li class="toctree-l2"><a class="reference internal" href="changes.html#version-0-5-3-unreleased">Version 0.5.3 (unreleased)</a></li>
192+
<li class="toctree-l2"><a class="reference internal" href="changes.html#version-0-5-5">Version 0.5.5</a></li>
193+
<li class="toctree-l2"><a class="reference internal" href="changes.html#version-0-5-4">Version 0.5.4</a></li>
194+
<li class="toctree-l2"><a class="reference internal" href="changes.html#version-0-5-3">Version 0.5.3</a></li>
193195
<li class="toctree-l2"><a class="reference internal" href="changes.html#version-0-5-2">Version 0.5.2</a></li>
194196
<li class="toctree-l2"><a class="reference internal" href="changes.html#version-0-5-1">Version 0.5.1</a></li>
195197
<li class="toctree-l2"><a class="reference internal" href="changes.html#version-0-5-0">Version 0.5.0</a></li>

‎docs/amaranth/latest/install.html

+3-3
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.dev85 documentation</title>
7+
<title>Installation &mdash; Amaranth language &amp; toolchain 0.6.0.dev86 documentation</title>
88
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=b86133f3" />
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 src="_static/documentation_options.js?v=3cf58f41"></script>
20+
<script src="_static/documentation_options.js?v=0b0d052b"></script>
2121
<script src="_static/doctools.js?v=9a2dae69"></script>
2222
<script src="_static/sphinx_highlight.js?v=dc90522c"></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.dev85
44+
0.6.0.dev86
4545
</div>
4646
<div role="search">
4747
<form id="rtd-search-form" class="wy-form" action="search.html" method="get">

‎docs/amaranth/latest/intro.html

+3-3
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.dev85 documentation</title>
7+
<title>Introduction &mdash; Amaranth language &amp; toolchain 0.6.0.dev86 documentation</title>
88
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=b86133f3" />
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 src="_static/documentation_options.js?v=3cf58f41"></script>
20+
<script src="_static/documentation_options.js?v=0b0d052b"></script>
2121
<script src="_static/doctools.js?v=9a2dae69"></script>
2222
<script src="_static/sphinx_highlight.js?v=dc90522c"></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.dev85
44+
0.6.0.dev86
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

+3-3
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.dev85 documentation</title>
7+
<title>Platform integration &mdash; Amaranth language &amp; toolchain 0.6.0.dev86 documentation</title>
88
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=b86133f3" />
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 src="_static/documentation_options.js?v=3cf58f41"></script>
20+
<script src="_static/documentation_options.js?v=0b0d052b"></script>
2121
<script src="_static/doctools.js?v=9a2dae69"></script>
2222
<script src="_static/sphinx_highlight.js?v=dc90522c"></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.dev85
44+
0.6.0.dev86
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

+3-3
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.dev85 documentation</title>
7+
<title>Altera &mdash; Amaranth language &amp; toolchain 0.6.0.dev86 documentation</title>
88
<link rel="stylesheet" type="text/css" href="../_static/pygments.css?v=b86133f3" />
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 src="../_static/documentation_options.js?v=3cf58f41"></script>
20+
<script src="../_static/documentation_options.js?v=0b0d052b"></script>
2121
<script src="../_static/doctools.js?v=9a2dae69"></script>
2222
<script src="../_static/sphinx_highlight.js?v=dc90522c"></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.dev85
44+
0.6.0.dev86
4545
</div>
4646
<div role="search">
4747
<form id="rtd-search-form" class="wy-form" action="../search.html" method="get">

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

+3-3
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>Gowin &mdash; Amaranth language &amp; toolchain 0.6.0.dev85 documentation</title>
7+
<title>Gowin &mdash; Amaranth language &amp; toolchain 0.6.0.dev86 documentation</title>
88
<link rel="stylesheet" type="text/css" href="../_static/pygments.css?v=b86133f3" />
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 src="../_static/documentation_options.js?v=3cf58f41"></script>
20+
<script src="../_static/documentation_options.js?v=0b0d052b"></script>
2121
<script src="../_static/doctools.js?v=9a2dae69"></script>
2222
<script src="../_static/sphinx_highlight.js?v=dc90522c"></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.dev85
44+
0.6.0.dev86
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)