deploy: b9b4c13

Wasm-DSL · May 18, 2024 · 1547a3a · 1547a3a
1 parent 54c472c
commit 1547a3a
Show file tree

Hide file tree

Showing 56 changed files with 3,333 additions and 3,333 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: a9b2a6c375758cb0fb64ad9d46cf0897
+config: 4bf74362783f484670989fd06ca2a291
 tags: 645f666f9bcd5a90fca523b33c5a78b7
diff --git a/core/_download/WebAssembly.pdf b/core/_download/WebAssembly.pdf
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: '3.0 (Draft 2024-05-17)',
+    VERSION: '3.0 (Draft 2024-05-18)',
     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 3.0 (Draft 2024-05-17)</title>
+    <title>Validation Algorithm &#8212; WebAssembly 3.0 (Draft 2024-05-18)</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>
@@ -333,7 +333,7 @@ <h3>Stacks<a class="headerlink" href="#stacks" title="Permalink to this heading"
 <div class="admonition note">
 <p class="admonition-title">Note</p>
 <p>Even with the unreachable flag set, consecutive operands are still pushed to and popped from the operand stack.
-That is necessary to detect invalid <a class="reference internal" href="../valid/instructions.html#polymorphism"><span class="std std-ref">examples</span></a> like <span class="math notranslate nohighlight">\((\href{../syntax/instructions.html#syntax-instr-control}{\mathsf{unreachable}}~(\href{../syntax/types.html#syntax-numtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{const}})~\href{../syntax/types.html#syntax-numtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{add}})\)</span>.
+That is necessary to detect invalid <a class="reference internal" href="../valid/instructions.html#polymorphism"><span class="std std-ref">examples</span></a> like <span class="math notranslate nohighlight">\((\href{../syntax/instructions.html#syntax-instr-control}{\mathsf{unreachable}}~(\href{../syntax/types.html#syntax-numtype}{\mathsf{i\scriptstyle32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{const}})~\href{../syntax/types.html#syntax-numtype}{\mathsf{i\scriptstyle64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{add}})\)</span>.
 However, a polymorphic stack cannot underflow, but instead generates <code class="code docutils literal notranslate"><span class="pre">Bot</span></code> types as needed.</p>
 </div>
 </section>

diff --git a/core/appendix/changes.html b/core/appendix/changes.html
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 3.0 (Draft 2024-05-17)</title>
+    <title>Custom Sections &#8212; WebAssembly 3.0 (Draft 2024-05-18)</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>
@@ -112,7 +112,7 @@ <h3 id="searchlabel">Quick search</h3>
 Each subsection consists of a</p>
 <ul class="simple">
 <li><p>a one-byte subsection <em>id</em>,</p></li>
-<li><p>the <span class="math notranslate nohighlight">\(\href{../syntax/values.html#syntax-int}{\mathit{u32}}\)</span> <em>size</em> of the contents, in bytes,</p></li>
+<li><p>the <span class="math notranslate nohighlight">\(\href{../syntax/values.html#syntax-int}{\mathit{u\scriptstyle32}}\)</span> <em>size</em> of the contents, in bytes,</p></li>
 <li><p>the actual <em>contents</em>, whose structure is dependent on the subsection id.</p></li>
 </ul>
 <div class="math notranslate nohighlight">

diff --git a/core/appendix/embedding.html b/core/appendix/embedding.html
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 3.0 (Draft 2024-05-17)</title>
+    <title>Implementation Limitations &#8212; WebAssembly 3.0 (Draft 2024-05-18)</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>