Skip to content

Commit 0a6b022

Browse files
github-merge-queue[bot]github-merge-queue[bot]
committed
Deploying to main from @ amaranth-lang/amaranth@e2eca4a 🚀
1 parent 19eb0e3 commit 0a6b022

36 files changed

+393
-393
lines changed

‎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.dev72',
2+
VERSION: '0.6.0.dev73',
33
LANGUAGE: 'en',
44
COLLAPSE_INDEX: false,
55
BUILDER: 'html',

‎docs/amaranth/latest/_static/pygments.css

+18-18
Original file line numberDiff line numberDiff line change
@@ -6,9 +6,9 @@ span.linenos.special { color: #000000; background-color: #ffffc0; padding-left:
66
.highlight .hll { background-color: #ffffcc }
77
.highlight { background: #f8f8f8; }
88
.highlight .c { color: #3D7B7B; font-style: italic } /* Comment */
9-
.highlight .err { border: 1px solid #FF0000 } /* Error */
9+
.highlight .err { border: 1px solid #F00 } /* Error */
1010
.highlight .k { color: #008000; font-weight: bold } /* Keyword */
11-
.highlight .o { color: #666666 } /* Operator */
11+
.highlight .o { color: #666 } /* Operator */
1212
.highlight .ch { color: #3D7B7B; font-style: italic } /* Comment.Hashbang */
1313
.highlight .cm { color: #3D7B7B; font-style: italic } /* Comment.Multiline */
1414
.highlight .cp { color: #9C6500 } /* Comment.Preproc */
@@ -25,34 +25,34 @@ span.linenos.special { color: #000000; background-color: #ffffc0; padding-left:
2525
.highlight .gp { color: #000080; font-weight: bold } /* Generic.Prompt */
2626
.highlight .gs { font-weight: bold } /* Generic.Strong */
2727
.highlight .gu { color: #800080; font-weight: bold } /* Generic.Subheading */
28-
.highlight .gt { color: #0044DD } /* Generic.Traceback */
28+
.highlight .gt { color: #04D } /* Generic.Traceback */
2929
.highlight .kc { color: #008000; font-weight: bold } /* Keyword.Constant */
3030
.highlight .kd { color: #008000; font-weight: bold } /* Keyword.Declaration */
3131
.highlight .kn { color: #008000; font-weight: bold } /* Keyword.Namespace */
3232
.highlight .kp { color: #008000 } /* Keyword.Pseudo */
3333
.highlight .kr { color: #008000; font-weight: bold } /* Keyword.Reserved */
3434
.highlight .kt { color: #B00040 } /* Keyword.Type */
35-
.highlight .m { color: #666666 } /* Literal.Number */
35+
.highlight .m { color: #666 } /* Literal.Number */
3636
.highlight .s { color: #BA2121 } /* Literal.String */
3737
.highlight .na { color: #687822 } /* Name.Attribute */
3838
.highlight .nb { color: #008000 } /* Name.Builtin */
39-
.highlight .nc { color: #0000FF; font-weight: bold } /* Name.Class */
40-
.highlight .no { color: #880000 } /* Name.Constant */
41-
.highlight .nd { color: #AA22FF } /* Name.Decorator */
39+
.highlight .nc { color: #00F; font-weight: bold } /* Name.Class */
40+
.highlight .no { color: #800 } /* Name.Constant */
41+
.highlight .nd { color: #A2F } /* Name.Decorator */
4242
.highlight .ni { color: #717171; font-weight: bold } /* Name.Entity */
4343
.highlight .ne { color: #CB3F38; font-weight: bold } /* Name.Exception */
44-
.highlight .nf { color: #0000FF } /* Name.Function */
44+
.highlight .nf { color: #00F } /* Name.Function */
4545
.highlight .nl { color: #767600 } /* Name.Label */
46-
.highlight .nn { color: #0000FF; font-weight: bold } /* Name.Namespace */
46+
.highlight .nn { color: #00F; font-weight: bold } /* Name.Namespace */
4747
.highlight .nt { color: #008000; font-weight: bold } /* Name.Tag */
4848
.highlight .nv { color: #19177C } /* Name.Variable */
49-
.highlight .ow { color: #AA22FF; font-weight: bold } /* Operator.Word */
50-
.highlight .w { color: #bbbbbb } /* Text.Whitespace */
51-
.highlight .mb { color: #666666 } /* Literal.Number.Bin */
52-
.highlight .mf { color: #666666 } /* Literal.Number.Float */
53-
.highlight .mh { color: #666666 } /* Literal.Number.Hex */
54-
.highlight .mi { color: #666666 } /* Literal.Number.Integer */
55-
.highlight .mo { color: #666666 } /* Literal.Number.Oct */
49+
.highlight .ow { color: #A2F; font-weight: bold } /* Operator.Word */
50+
.highlight .w { color: #BBB } /* Text.Whitespace */
51+
.highlight .mb { color: #666 } /* Literal.Number.Bin */
52+
.highlight .mf { color: #666 } /* Literal.Number.Float */
53+
.highlight .mh { color: #666 } /* Literal.Number.Hex */
54+
.highlight .mi { color: #666 } /* Literal.Number.Integer */
55+
.highlight .mo { color: #666 } /* Literal.Number.Oct */
5656
.highlight .sa { color: #BA2121 } /* Literal.String.Affix */
5757
.highlight .sb { color: #BA2121 } /* Literal.String.Backtick */
5858
.highlight .sc { color: #BA2121 } /* Literal.String.Char */
@@ -67,9 +67,9 @@ span.linenos.special { color: #000000; background-color: #ffffc0; padding-left:
6767
.highlight .s1 { color: #BA2121 } /* Literal.String.Single */
6868
.highlight .ss { color: #19177C } /* Literal.String.Symbol */
6969
.highlight .bp { color: #008000 } /* Name.Builtin.Pseudo */
70-
.highlight .fm { color: #0000FF } /* Name.Function.Magic */
70+
.highlight .fm { color: #00F } /* Name.Function.Magic */
7171
.highlight .vc { color: #19177C } /* Name.Variable.Class */
7272
.highlight .vg { color: #19177C } /* Name.Variable.Global */
7373
.highlight .vi { color: #19177C } /* Name.Variable.Instance */
7474
.highlight .vm { color: #19177C } /* Name.Variable.Magic */
75-
.highlight .il { color: #666666 } /* Literal.Number.Integer.Long */
75+
.highlight .il { color: #666 } /* Literal.Number.Integer.Long */

‎docs/amaranth/latest/changes.html

+5-5
Original file line numberDiff line numberDiff line change
@@ -4,8 +4,8 @@
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.dev72 documentation</title>
8-
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
7+
<title>Changelog &mdash; Amaranth language &amp; toolchain 0.6.0.dev73 documentation</title>
8+
<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" />
1111
<link rel="stylesheet" type="text/css" href="_static/custom.css?v=d131d90a" />
@@ -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=82fea6b3"></script>
20+
<script src="_static/documentation_options.js?v=268622aa"></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.dev72
44+
0.6.0.dev73
4545
</div>
4646
<div role="search">
4747
<form id="rtd-search-form" class="wy-form" action="search.html" method="get">
@@ -611,7 +611,7 @@ <h2>Versions 0.1, 0.2<a class="headerlink" href="#versions-0-1-0-2" title="Link
611611
<hr/>
612612

613613
<div role="contentinfo">
614-
<p>&#169; Copyright 2020—2024, Amaranth project contributors.</p>
614+
<p>&#169; Copyright 2020—2025, Amaranth project contributors.</p>
615615
</div>
616616

617617
Built with <a href="https://www.sphinx-doc.org/">Sphinx</a> using a

‎docs/amaranth/latest/contrib.html

+5-5
Original file line numberDiff line numberDiff line change
@@ -4,8 +4,8 @@
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.dev72 documentation</title>
8-
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
7+
<title>Contributing &mdash; Amaranth language &amp; toolchain 0.6.0.dev73 documentation</title>
8+
<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" />
1111
<link rel="stylesheet" type="text/css" href="_static/custom.css?v=d131d90a" />
@@ -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=82fea6b3"></script>
20+
<script src="_static/documentation_options.js?v=268622aa"></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.dev72
43+
0.6.0.dev73
4444
</div>
4545
<div role="search">
4646
<form id="rtd-search-form" class="wy-form" action="search.html" method="get">
@@ -237,7 +237,7 @@ <h2>Weekly meetings<a class="headerlink" href="#weekly-meetings" title="Link to
237237
<hr/>
238238

239239
<div role="contentinfo">
240-
<p>&#169; Copyright 2020—2024, Amaranth project contributors.</p>
240+
<p>&#169; Copyright 2020—2025, Amaranth project contributors.</p>
241241
</div>
242242

243243
Built with <a href="https://www.sphinx-doc.org/">Sphinx</a> using a

‎docs/amaranth/latest/cover.html

+5-5
Original file line numberDiff line numberDiff line change
@@ -4,8 +4,8 @@
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.dev72 documentation</title>
8-
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
7+
<title>Amaranth project documentation &mdash; Amaranth language &amp; toolchain 0.6.0.dev73 documentation</title>
8+
<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" />
1111
<link rel="stylesheet" type="text/css" href="_static/custom.css?v=d131d90a" />
@@ -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=82fea6b3"></script>
20+
<script src="_static/documentation_options.js?v=268622aa"></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.dev72
43+
0.6.0.dev73
4444
</div>
4545
<div role="search">
4646
<form id="rtd-search-form" class="wy-form" action="search.html" method="get">
@@ -101,7 +101,7 @@ <h1>Amaranth project documentation<a class="headerlink" href="#amaranth-project-
101101
<hr/>
102102

103103
<div role="contentinfo">
104-
<p>&#169; Copyright 2020—2024, Amaranth project contributors.</p>
104+
<p>&#169; Copyright 2020—2025, Amaranth project contributors.</p>
105105
</div>
106106

107107
Built with <a href="https://www.sphinx-doc.org/">Sphinx</a> using a

‎docs/amaranth/latest/genindex.html

+5-5
Original file line numberDiff line numberDiff line change
@@ -3,8 +3,8 @@
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.dev72 documentation</title>
7-
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
6+
<title>Index &mdash; Amaranth language &amp; toolchain 0.6.0.dev73 documentation</title>
7+
<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" />
1010
<link rel="stylesheet" type="text/css" href="_static/custom.css?v=d131d90a" />
@@ -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=82fea6b3"></script>
19+
<script src="_static/documentation_options.js?v=268622aa"></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.dev72
41+
0.6.0.dev73
4242
</div>
4343
<div role="search">
4444
<form id="rtd-search-form" class="wy-form" action="search.html" method="get">
@@ -1388,7 +1388,7 @@ <h2 id="X">X</h2>
13881388
<hr/>
13891389

13901390
<div role="contentinfo">
1391-
<p>&#169; Copyright 2020—2024, Amaranth project contributors.</p>
1391+
<p>&#169; Copyright 2020—2025, Amaranth project contributors.</p>
13921392
</div>
13931393

13941394
Built with <a href="https://www.sphinx-doc.org/">Sphinx</a> using a

0 commit comments

Comments
 (0)