Deploying to main from @ amaranth-lang/amaranth@c00e770 🚀

amaranth-lang · Jan 3, 2024 · 4d0246d · 4d0246d
1 parent 4897cab
commit 4d0246d
Show file tree

Hide file tree

Showing 37 changed files with 99 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: 273ba3eaba9f831eceef277fd93a854c
+config: be66936d1fb7c3227dbfaa88e7ccb45a
 tags: 645f666f9bcd5a90fca523b33c5a78b7
diff --git a/docs/amaranth/latest/.doctrees/changes.doctree b/docs/amaranth/latest/.doctrees/changes.doctree
diff --git a/docs/amaranth/latest/.doctrees/environment.pickle b/docs/amaranth/latest/.doctrees/environment.pickle
diff --git a/docs/amaranth/latest/_sources/changes.rst.txt b/docs/amaranth/latest/_sources/changes.rst.txt
@@ -15,6 +15,7 @@ Language changes
 
 .. currentmodule:: amaranth.hdl
 
+* Deprecated: argument `run_script=` in :meth:`BuildPlan.execute_local`
 * Added: `class:ast.Slice` objects have been made const-castable.
 * Removed: (deprecated in 0.4) :meth:`Const.normalize`. (`RFC 5`_)
 * Removed: (deprecated in 0.4) :class:`ast.Sample`, :class:`ast.Past`, :class:`ast.Stable`, :class:`ast.Rose`, :class:`ast.Fell`.
@@ -35,6 +36,8 @@ Platform integration changes
 
 .. currentmodule:: amaranth.vendor
 
+* Added: :meth:`BuildPlan.execute_local_docker`.
+* Added: :meth:`BuildPlan.extract`.
 * Added: ``build.sh``  begins with ``#!/bin/sh``.
 * Removed: (deprecated in 0.4) :mod:`vendor.intel`, :mod:`vendor.lattice_ecp5`, :mod:`vendor.lattice_ice40`, :mod:`vendor.lattice_machxo2_3l`, :mod:`vendor.quicklogic`, :mod:`vendor.xilinx`. (`RFC 18`_)
 

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

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.dev12 documentation</title>
+  <title>Changelog &mdash; Amaranth HDL toolchain 0.4.1.dev15 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=33690d1c"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=f8e09dd1"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -38,7 +38,7 @@
             Amaranth HDL toolchain
           </a>
               <div class="version">
-                0.4.1.dev12+gcc9fe89.editable
+                0.4.1.dev15+gc00e770.editable
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">
@@ -124,6 +124,7 @@ <h2>Version 0.5 (unreleased)<a class="headerlink" href="#version-0-5-unreleased"
 <section id="language-changes">
 <h3>Language changes<a class="headerlink" href="#language-changes" title="Permalink to this heading"></a></h3>
 <ul class="simple">
+<li><p>Deprecated: argument <cite>run_script=</cite> in <code class="xref py py-meth docutils literal notranslate"><span class="pre">BuildPlan.execute_local()</span></code></p></li>
 <li><p>Added: <cite>class:ast.Slice</cite> objects have been made const-castable.</p></li>
 <li><p>Removed: (deprecated in 0.4) <code class="xref py py-meth docutils literal notranslate"><span class="pre">Const.normalize()</span></code>. (<a class="reference external" href="https://amaranth-lang.org/rfcs/0005-remove-const-normalize.html">RFC 5</a>)</p></li>
 <li><p>Removed: (deprecated in 0.4) <code class="xref py py-class docutils literal notranslate"><span class="pre">ast.Sample</span></code>, <code class="xref py py-class docutils literal notranslate"><span class="pre">ast.Past</span></code>, <code class="xref py py-class docutils literal notranslate"><span class="pre">ast.Stable</span></code>, <code class="xref py py-class docutils literal notranslate"><span class="pre">ast.Rose</span></code>, <code class="xref py py-class docutils literal notranslate"><span class="pre">ast.Fell</span></code>.</p></li>
@@ -140,6 +141,8 @@ <h3>Standard library changes<a class="headerlink" href="#standard-library-change
 <section id="platform-integration-changes">
 <h3>Platform integration changes<a class="headerlink" href="#platform-integration-changes" title="Permalink to this heading"></a></h3>
 <ul class="simple">
+<li><p>Added: <code class="xref py py-meth docutils literal notranslate"><span class="pre">BuildPlan.execute_local_docker()</span></code>.</p></li>
+<li><p>Added: <code class="xref py py-meth docutils literal notranslate"><span class="pre">BuildPlan.extract()</span></code>.</p></li>
 <li><p>Added: <code class="docutils literal notranslate"><span class="pre">build.sh</span></code>  begins with <code class="docutils literal notranslate"><span class="pre">#!/bin/sh</span></code>.</p></li>
 <li><p>Removed: (deprecated in 0.4) <code class="xref py py-mod docutils literal notranslate"><span class="pre">vendor.intel</span></code>, <code class="xref py py-mod docutils literal notranslate"><span class="pre">vendor.lattice_ecp5</span></code>, <code class="xref py py-mod docutils literal notranslate"><span class="pre">vendor.lattice_ice40</span></code>, <code class="xref py py-mod docutils literal notranslate"><span class="pre">vendor.lattice_machxo2_3l</span></code>, <code class="xref py py-mod docutils literal notranslate"><span class="pre">vendor.quicklogic</span></code>, <code class="xref py py-mod docutils literal notranslate"><span class="pre">vendor.xilinx</span></code>. (<a class="reference external" href="https://amaranth-lang.org/rfcs/0018-reorganize-vendor-platforms.html">RFC 18</a>)</p></li>
 </ul>

diff --git a/docs/amaranth/latest/changes.rst b/docs/amaranth/latest/changes.rst
@@ -15,6 +15,7 @@ Language changes
 
 .. currentmodule:: amaranth.hdl
 
+* Deprecated: argument `run_script=` in :meth:`BuildPlan.execute_local`
 * Added: `class:ast.Slice` objects have been made const-castable.
 * Removed: (deprecated in 0.4) :meth:`Const.normalize`. (`RFC 5`_)
 * Removed: (deprecated in 0.4) :class:`ast.Sample`, :class:`ast.Past`, :class:`ast.Stable`, :class:`ast.Rose`, :class:`ast.Fell`.
@@ -35,6 +36,8 @@ Platform integration changes
 
 .. currentmodule:: amaranth.vendor
 
+* Added: :meth:`BuildPlan.execute_local_docker`.
+* Added: :meth:`BuildPlan.extract`.
 * Added: ``build.sh``  begins with ``#!/bin/sh``.
 * Removed: (deprecated in 0.4) :mod:`vendor.intel`, :mod:`vendor.lattice_ecp5`, :mod:`vendor.lattice_ice40`, :mod:`vendor.lattice_machxo2_3l`, :mod:`vendor.quicklogic`, :mod:`vendor.xilinx`. (`RFC 18`_)
 

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.dev12 documentation</title>
+  <title>Contributing &mdash; Amaranth HDL toolchain 0.4.1.dev15 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=33690d1c"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=f8e09dd1"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -37,7 +37,7 @@
             Amaranth HDL toolchain
           </a>
               <div class="version">
-                0.4.1.dev12+gcc9fe89.editable
+                0.4.1.dev15+gc00e770.editable
               </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.dev12 documentation</title>
+  <title>Amaranth HDL documentation &mdash; Amaranth HDL toolchain 0.4.1.dev15 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=33690d1c"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=f8e09dd1"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -37,7 +37,7 @@
             Amaranth HDL toolchain
           </a>
               <div class="version">
-                0.4.1.dev12+gcc9fe89.editable
+                0.4.1.dev15+gc00e770.editable
               </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.dev12 documentation</title>
+  <title>Index &mdash; Amaranth HDL toolchain 0.4.1.dev15 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=33690d1c"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=f8e09dd1"></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,7 +35,7 @@
             Amaranth HDL toolchain
           </a>
               <div class="version">
-                0.4.1.dev12+gcc9fe89.editable
+                0.4.1.dev15+gc00e770.editable
               </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.dev12 documentation</title>
+  <title>Language &amp; toolchain &mdash; Amaranth HDL toolchain 0.4.1.dev15 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=33690d1c"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=f8e09dd1"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -38,7 +38,7 @@
             Amaranth HDL toolchain
           </a>
               <div class="version">
-                0.4.1.dev12+gcc9fe89.editable
+                0.4.1.dev15+gc00e770.editable
               </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.dev12 documentation</title>
+  <title>Installation &mdash; Amaranth HDL toolchain 0.4.1.dev15 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=33690d1c"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=f8e09dd1"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -38,7 +38,7 @@
             Amaranth HDL toolchain
           </a>
               <div class="version">
-                0.4.1.dev12+gcc9fe89.editable
+                0.4.1.dev15+gc00e770.editable
               </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.dev12 documentation</title>
+  <title>Introduction &mdash; Amaranth HDL toolchain 0.4.1.dev15 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=33690d1c"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=f8e09dd1"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -38,7 +38,7 @@
             Amaranth HDL toolchain
           </a>
               <div class="version">
-                0.4.1.dev12+gcc9fe89.editable
+                0.4.1.dev15+gc00e770.editable
               </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.dev12 documentation</title>
+  <title>Language guide &mdash; Amaranth HDL toolchain 0.4.1.dev15 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=33690d1c"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=f8e09dd1"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -38,7 +38,7 @@
             Amaranth HDL toolchain
           </a>
               <div class="version">
-                0.4.1.dev12+gcc9fe89.editable
+                0.4.1.dev15+gc00e770.editable
               </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.dev12 documentation</title>
+  <title>Platform integration &mdash; Amaranth HDL toolchain 0.4.1.dev15 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=33690d1c"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=f8e09dd1"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -38,7 +38,7 @@
             Amaranth HDL toolchain
           </a>
               <div class="version">
-                0.4.1.dev12+gcc9fe89.editable
+                0.4.1.dev15+gc00e770.editable
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">