deploy: c5804d2

WebAssembly · Feb 15, 2024 · 08e9b29 · 08e9b29
1 parent 72935ef
commit 08e9b29
Show file tree

Hide file tree

Showing 136 changed files with 13,134 additions and 11,756 deletions.
diff --git a/core/.buildinfo b/core/.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: 281d5406a4b1a82723d70899fb3fb14f
+config: 59799711e68f69510d1f70088ff7e2ed
 tags: 645f666f9bcd5a90fca523b33c5a78b7
diff --git a/core/_download/WebAssembly.pdf b/core/_download/WebAssembly.pdf
diff --git a/core/_static/alabaster.css b/core/_static/alabaster.css
@@ -69,6 +69,11 @@ div.relations {
 }
 
 
+div.sphinxsidebar {
+ max-height: 100%;
+ overflow-y: auto;
+}
+
 div.sphinxsidebar a {
  color: #444;
  text-decoration: none;
@@ -155,6 +160,14 @@ div.sphinxsidebar input {
  font-size: 1em;
 }
 
+div.sphinxsidebar #searchbox input[type="text"] {
+ width: 160px;
+}
+
+div.sphinxsidebar .search > div {
+ display: table-cell;
+}
+
 div.sphinxsidebar hr {
  border: none;
  height: 1px;
@@ -644,15 +657,7 @@ a:hover tt, a:hover code {
  display: none!important;
 }
 
-/* Make nested-list/multi-paragraph items look better in Releases changelog
- * pages. Without this, docutils' magical list fuckery causes inconsistent
- * formatting between different release sub-lists.
- */
-div#changelog > div.section > ul > li > p:only-child {
- margin-bottom: 0;
-}
-
-/* Hide fugly table cell borders in ..bibliography:: directive output */
+/* Hide ugly table cell borders in ..bibliography:: directive output */
 table.docutils.citation, table.docutils.citation td, table.docutils.citation th {
  border: none;
  /* Below needed in some edge cases; if not applied, bottom shadows appear */

diff --git a/core/_static/basic.css b/core/_static/basic.css
@@ -222,7 +222,7 @@ table.modindextable td {
 /* -- general body styles --------------------------------------------------- */
 
 div.body {
- min-width: 360px;
+ min-width: inherit;
  max-width: 800px;
 }
 

diff --git a/core/_static/documentation_options.js b/core/_static/documentation_options.js
@@ -1,6 +1,6 @@
 var DOCUMENTATION_OPTIONS = {
  URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'),
- VERSION: '2.0 (Draft 2023-12-09)',
+ VERSION: '2.0 (Draft 2024-02-15)',
  LANGUAGE: 'en',
  COLLAPSE_INDEX: false,
  BUILDER: 'html',

diff --git a/core/appendix/algorithm.html b/core/appendix/algorithm.html
@@ -6,7 +6,7 @@
  <meta charset="utf-8" />
  <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
- <title>Validation Algorithm &#8212; WebAssembly 2.0 (Draft 2023-12-09)</title>
+ <title>Validation Algorithm &#8212; WebAssembly 2.0 (Draft 2024-02-15)</title>
  <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
  <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
  <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>
@@ -23,8 +23,9 @@
 
  <link rel="stylesheet" href="../_static/custom.css" type="text/css" />
 
+
+
 
- <meta name="viewport" content="width=device-width, initial-scale=0.9, maximum-scale=0.9" />
 
  </head><body>
  <div class="document">
@@ -303,7 +304,7 @@ <h3 id="searchlabel">Quick search</h3>
  <div class="clearer"></div>
  </div>
  <div class="footer">
- &copy;2022, WebAssembly Community Group.
+ &#169;2022, WebAssembly Community Group.
 
  </div>
 

diff --git a/core/appendix/changes.html b/core/appendix/changes.html
@@ -6,7 +6,7 @@
  <meta charset="utf-8" />
  <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
- <title>Change History &#8212; WebAssembly 2.0 (Draft 2023-12-09)</title>
+ <title>Change History &#8212; WebAssembly 2.0 (Draft 2024-02-15)</title>
  <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
  <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
  <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>
@@ -23,8 +23,9 @@
 
  <link rel="stylesheet" href="../_static/custom.css" type="text/css" />
 
+
+
 
- <meta name="viewport" content="width=device-width, initial-scale=0.9, maximum-scale=0.9" />
 
  </head><body>
  <div class="document">
@@ -209,7 +210,7 @@ <h2>Release 2.0<a class="headerlink" href="#release-2-0" title="Permalink to thi
  <div class="clearer"></div>
  </div>
  <div class="footer">
- &copy;2022, WebAssembly Community Group.
+ &#169;2022, WebAssembly Community Group.
 
  </div>
 

diff --git a/core/appendix/custom.html b/core/appendix/custom.html
@@ -6,7 +6,7 @@
  <meta charset="utf-8" />
  <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
- <title>Custom Sections &#8212; WebAssembly 2.0 (Draft 2023-12-09)</title>
+ <title>Custom Sections &#8212; WebAssembly 2.0 (Draft 2024-02-15)</title>
  <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
  <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
  <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>
@@ -23,8 +23,9 @@
 
  <link rel="stylesheet" href="../_static/custom.css" type="text/css" />
 
+
+
 
- <meta name="viewport" content="width=device-width, initial-scale=0.9, maximum-scale=0.9" />
 
  </head><body>
  <div class="document">
@@ -208,7 +209,7 @@ <h3 id="searchlabel">Quick search</h3>
  <div class="clearer"></div>
  </div>
  <div class="footer">
- &copy;2022, WebAssembly Community Group.
+ &#169;2022, WebAssembly Community Group.
 
  </div>
 

diff --git a/core/appendix/embedding.html b/core/appendix/embedding.html
@@ -6,7 +6,7 @@
  <meta charset="utf-8" />
  <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
- <title>Embedding &#8212; WebAssembly 2.0 (Draft 2023-12-09)</title>
+ <title>Embedding &#8212; WebAssembly 2.0 (Draft 2024-02-15)</title>
  <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
  <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
  <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>
@@ -23,8 +23,9 @@
 
  <link rel="stylesheet" href="../_static/custom.css" type="text/css" />
 
+
+
 
- <meta name="viewport" content="width=device-width, initial-scale=0.9, maximum-scale=0.9" />
 
  </head><body>
  <div class="document">
@@ -562,7 +563,7 @@ <h2>Pre- and Post-Conditions<a class="headerlink" href="#pre-and-post-conditions
  <div class="clearer"></div>
  </div>
  <div class="footer">
- &copy;2022, WebAssembly Community Group.
+ &#169;2022, WebAssembly Community Group.
 
  </div>
 

diff --git a/core/appendix/implementation.html b/core/appendix/implementation.html
@@ -6,7 +6,7 @@
  <meta charset="utf-8" />
  <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
- <title>Implementation Limitations &#8212; WebAssembly 2.0 (Draft 2023-12-09)</title>
+ <title>Implementation Limitations &#8212; WebAssembly 2.0 (Draft 2024-02-15)</title>
  <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
  <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
  <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>
@@ -23,8 +23,9 @@
 
  <link rel="stylesheet" href="../_static/custom.css" type="text/css" />
 
+
+
 
- <meta name="viewport" content="width=device-width, initial-scale=0.9, maximum-scale=0.9" />
 
  </head><body>
  <div class="document">
@@ -209,7 +210,7 @@ <h2>Syntactic Limits<a class="headerlink" href="#syntactic-limits" title="Permal
  <div class="clearer"></div>
  </div>
  <div class="footer">
- &copy;2022, WebAssembly Community Group.
+ &#169;2022, WebAssembly Community Group.
 
  </div>
 

diff --git a/core/appendix/index-instructions.html b/core/appendix/index-instructions.html
@@ -6,7 +6,7 @@
  <meta charset="utf-8" />
  <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
- <title>Index of Instructions &#8212; WebAssembly 2.0 (Draft 2023-12-09)</title>
+ <title>Index of Instructions &#8212; WebAssembly 2.0 (Draft 2024-02-15)</title>
  <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
  <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
  <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>
@@ -23,8 +23,9 @@
 
  <link rel="stylesheet" href="../_static/custom.css" type="text/css" />
 
+
+
 
- <meta name="viewport" content="width=device-width, initial-scale=0.9, maximum-scale=0.9" />
 
  </head><body>
  <div class="document">
@@ -3143,7 +3144,7 @@ <h3 id="searchlabel">Quick search</h3>
  <div class="clearer"></div>
  </div>
  <div class="footer">
- &copy;2022, WebAssembly Community Group.
+ &#169;2022, WebAssembly Community Group.
 
  </div>
 

diff --git a/core/appendix/index-rules.html b/core/appendix/index-rules.html
@@ -6,7 +6,7 @@
  <meta charset="utf-8" />
  <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
- <title>Index of Semantic Rules &#8212; WebAssembly 2.0 (Draft 2023-12-09)</title>
+ <title>Index of Semantic Rules &#8212; WebAssembly 2.0 (Draft 2024-02-15)</title>
  <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
  <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
  <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>
@@ -22,8 +22,9 @@
 
  <link rel="stylesheet" href="../_static/custom.css" type="text/css" />
 
+
+
 
- <meta name="viewport" content="width=device-width, initial-scale=0.9, maximum-scale=0.9" />
 
  </head><body>
  <div class="document">
@@ -324,7 +325,7 @@ <h2>Execution<a class="headerlink" href="#execution" title="Permalink to this he
  <div class="clearer"></div>
  </div>
  <div class="footer">
- &copy;2022, WebAssembly Community Group.
+ &#169;2022, WebAssembly Community Group.
 
  </div>
 

diff --git a/core/appendix/index-types.html b/core/appendix/index-types.html
@@ -6,7 +6,7 @@
  <meta charset="utf-8" />
  <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
- <title>Index of Types &#8212; WebAssembly 2.0 (Draft 2023-12-09)</title>
+ <title>Index of Types &#8212; WebAssembly 2.0 (Draft 2024-02-15)</title>
  <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
  <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
  <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>
@@ -23,8 +23,9 @@
 
  <link rel="stylesheet" href="../_static/custom.css" type="text/css" />
 
+
+
 
- <meta name="viewport" content="width=device-width, initial-scale=0.9, maximum-scale=0.9" />
 
  </head><body>
  <div class="document">
@@ -163,7 +164,7 @@ <h3 id="searchlabel">Quick search</h3>
  <div class="clearer"></div>
  </div>
  <div class="footer">
- &copy;2022, WebAssembly Community Group.
+ &#169;2022, WebAssembly Community Group.
 
  </div>
 

diff --git a/core/appendix/index.html b/core/appendix/index.html
@@ -6,7 +6,7 @@
  <meta charset="utf-8" />
  <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
- <title>Appendix &#8212; WebAssembly 2.0 (Draft 2023-12-09)</title>
+ <title>Appendix &#8212; WebAssembly 2.0 (Draft 2024-02-15)</title>
  <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
  <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
  <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>
@@ -23,8 +23,9 @@
 
  <link rel="stylesheet" href="../_static/custom.css" type="text/css" />
 
+
+
 
- <meta name="viewport" content="width=device-width, initial-scale=0.9, maximum-scale=0.9" />
 
  </head><body>
  <div class="document">
@@ -142,7 +143,7 @@ <h3 id="searchlabel">Quick search</h3>
  <div class="clearer"></div>
  </div>
  <div class="footer">
- &copy;2022, WebAssembly Community Group.
+ &#169;2022, WebAssembly Community Group.
 
  </div>
 

diff --git a/core/appendix/properties.html b/core/appendix/properties.html
@@ -6,7 +6,7 @@
  <meta charset="utf-8" />
  <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
- <title>Soundness &#8212; WebAssembly 2.0 (Draft 2023-12-09)</title>
+ <title>Soundness &#8212; WebAssembly 2.0 (Draft 2024-02-15)</title>
  <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
  <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
  <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>
@@ -23,8 +23,9 @@
 
  <link rel="stylesheet" href="../_static/custom.css" type="text/css" />
 
+
+
 
- <meta name="viewport" content="width=device-width, initial-scale=0.9, maximum-scale=0.9" />
 
  </head><body>
  <div class="document">
@@ -739,7 +740,7 @@ <h3><a class="reference internal" href="../exec/runtime.html#syntax-result"><spa
  <div class="clearer"></div>
  </div>
  <div class="footer">
- &copy;2022, WebAssembly Community Group.
+ &#169;2022, WebAssembly Community Group.
 
  </div>