deploy: 671b526

WebAssembly · Sep 19, 2024 · f48a387 · f48a387
1 parent 27fcca3
commit f48a387
Show file tree

Hide file tree

Showing 55 changed files with 62 additions and 62 deletions.
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: '2.0 + tail calls + function references + gc (Draft 2024-09-04)',
+    VERSION: '2.0 + tail calls + function references + gc (Draft 2024-09-19)',
     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 + tail calls + function references + gc (Draft 2024-09-04)</title>
+    <title>Validation Algorithm &#8212; WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-19)</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>

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 + tail calls + function references + gc (Draft 2024-09-04)</title>
+    <title>Change History &#8212; WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-19)</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>

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 + tail calls + function references + gc (Draft 2024-09-04)</title>
+    <title>Custom Sections &#8212; WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-19)</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>

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 + tail calls + function references + gc (Draft 2024-09-04)</title>
+    <title>Embedding &#8212; WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-19)</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>

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 + tail calls + function references + gc (Draft 2024-09-04)</title>
+    <title>Implementation Limitations &#8212; WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-19)</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>

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 + tail calls + function references + gc (Draft 2024-09-04)</title>
+    <title>Index of Instructions &#8212; WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-19)</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>
@@ -1634,7 +1634,7 @@ <h3 id="searchlabel">Quick search</h3>
 </tr>
 <tr class="row-odd"><td><p><span class="math notranslate nohighlight">\(\href{../syntax/instructions.html#syntax-instr-array}{\mathsf{array.new}}~x\)</span></p></td>
 <td><p><span class="math notranslate nohighlight">\(\def\mathdef539#1{\mathtt{0x#1}}\mathdef539{FB}~\def\mathdef540#1{\mathtt{0x#1}}\mathdef540{06}\)</span></p></td>
-<td><p><span class="math notranslate nohighlight">\([t] \mathrel{\href{../valid/conventions.html#syntax-instrtype}{\rightarrow}} [(\href{../syntax/types.html#syntax-reftype}{\mathsf{ref}}~x)]\)</span></p></td>
+<td><p><span class="math notranslate nohighlight">\([t~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \mathrel{\href{../valid/conventions.html#syntax-instrtype}{\rightarrow}} [(\href{../syntax/types.html#syntax-reftype}{\mathsf{ref}}~x)]\)</span></p></td>
 <td><p><a class="reference internal" href="../valid/instructions.html#valid-array-new"><span class="std std-ref">validation</span></a></p></td>
 <td><p><a class="reference internal" href="../exec/instructions.html#exec-array-new"><span class="std std-ref">execution</span></a></p></td>
 </tr>

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 + tail calls + function references + gc (Draft 2024-09-04)</title>
+    <title>Index of Semantic Rules &#8212; WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-19)</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>

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 + tail calls + function references + gc (Draft 2024-09-04)</title>
+    <title>Index of Types &#8212; WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-19)</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>

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 + tail calls + function references + gc (Draft 2024-09-04)</title>
+    <title>Appendix &#8212; WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-19)</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>

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>Type Soundness &#8212; WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-04)</title>
+    <title>Type Soundness &#8212; WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-19)</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>

diff --git a/core/bikeshed/index.html b/core/bikeshed/index.html
@@ -6,7 +6,7 @@
   <meta content="ED" name="w3c-status">
   <meta content="Bikeshed version 6270e4735, updated Tue Aug 6 12:12:30 2024 -0700" name="generator">
   <link href="https://www.w3.org/TR/wasm-core-2/" rel="canonical">
-  <meta content="2384c7e14fd568b95786fa89fe3c63dc1deb159e" name="revision">
+  <meta content="671b52606e376137db7471c0d224eba5628c14ec" name="revision">
   <meta content="dark light" name="color-scheme">
   <meta charset="utf-8">
 <style>/* mathjax2katex fixes */
@@ -418,7 +418,7 @@
   <div class="head">
    <p data-fill-with="logo"><a class="logo" href="https://www.w3.org/"> <img alt="W3C" height="48" src="https://www.w3.org/StyleSheets/TR/2021/logos/W3C" width="72"> </a> </p>
    <h1 class="p-name no-ref" id="title">WebAssembly Core Specification</h1>
-   <p id="w3c-state"><a href="https://www.w3.org/standards/types#ED">Editor’s Draft</a>, <time class="dt-updated" datetime="2024-09-04">4 September 2024</time></p>
+   <p id="w3c-state"><a href="https://www.w3.org/standards/types#ED">Editor’s Draft</a>, <time class="dt-updated" datetime="2024-09-19">19 September 2024</time></p>
    <details open>
     <summary>More details about this document</summary>
     <div data-fill-with="spec-metadata">
@@ -971,7 +971,7 @@ <h3 class="heading settled" data-level="1.1" id="introduction③"><span class="s
        <p>WebAssembly (abbreviated Wasm <a class="footnote-reference brackets" href="#wasm" id="id1" role="doc-noteref"><span class="fn-bracket">[</span>1<span class="fn-bracket">]</span></a>) is a <em>safe, portable, low-level code format</em> designed for efficient execution and compact representation.
 Its main goal is to enable high performance applications on the Web, but it does not make any Web-specific assumptions or provide Web-specific features, so it can be employed in other environments as well.</p>
        <p>WebAssembly is an open standard developed by a <a class="reference external" href="https://www.w3.org/community/webassembly/">W3C Community Group</a>.</p>
-       <p>This document describes version 2.0 + tail calls + function references + gc (Draft 2024-09-04) of the <a class="reference internal" href="#scope"><span class="std std-ref">core</span></a> WebAssembly standard.
+       <p>This document describes version 2.0 + tail calls + function references + gc (Draft 2024-09-19) of the <a class="reference internal" href="#scope"><span class="std std-ref">core</span></a> WebAssembly standard.
 It is intended that it will be superseded by new incremental releases with additional features in the future.</p>
        <section id="design-goals">
          <span id="goals"></span>
@@ -18396,7 +18396,7 @@ <h3 class="heading settled" id="a7-index-of-instructions"><span class="content">
           <td>
            <p><span class="  notranslate nohighlight"><span class="katex-display"><span class="katex"><span class="katex-html" aria-hidden="true"><span class="base"><span class="strut" style="height:0.6111em;"></span><span class="mord"><span class="mord"><span class="mord"><span class="mord mathtt">0x</span><span class="mord"><span class="mord mathtt">FB</span></span></span></span><span class="mspace nobreak"> </span><span class="mord"><span class="mord"><span class="mord mathtt">0x</span><span class="mord"><span class="mord mathtt">06</span></span></span></span></span></span></span></span></span></span></p>
           <td>
-           <p><span class="  notranslate nohighlight"><span class="katex-display"><span class="katex"><span class="katex-html" aria-hidden="true"><span class="base"><span class="strut" style="height:1em;vertical-align:-0.25em;"></span><span class="mord"><span class="mopen">[</span><span class="mord mathrm">t</span><span class="mclose">]</span><span class="mspace" style="margin-right:0.2778em;"></span><span class="mrel"><a href="#syntax-instrtype"><span class="mrel">→</span></a></span><span class="mspace" style="margin-right:0.2778em;"></span><span class="mopen">[(</span><a href="#syntax-reftype"><span class="mord"><span class="mord mathsf" style="margin-right:0.06944em;">ref</span></span></a><span class="mspace nobreak"> </span><span class="mord mathrm">x</span><span class="mclose">)]</span></span></span></span></span></span></span></p>
+           <p><span class="  notranslate nohighlight"><span class="katex-display"><span class="katex"><span class="katex-html" aria-hidden="true"><span class="base"><span class="strut" style="height:1em;vertical-align:-0.25em;"></span><span class="mord"><span class="mopen">[</span><span class="mord mathrm">t</span><span class="mspace nobreak"> </span><a href="#syntax-valtype"><span class="mord"><span class="mord mathsf">i32</span></span></a><span class="mclose">]</span><span class="mspace" style="margin-right:0.2778em;"></span><span class="mrel"><a href="#syntax-instrtype"><span class="mrel">→</span></a></span><span class="mspace" style="margin-right:0.2778em;"></span><span class="mopen">[(</span><a href="#syntax-reftype"><span class="mord"><span class="mord mathsf" style="margin-right:0.06944em;">ref</span></span></a><span class="mspace nobreak"> </span><span class="mord mathrm">x</span><span class="mclose">)]</span></span></span></span></span></span></span></p>
           <td>
            <p><a class="reference internal" href="index.html#valid-array-new"><span class="std std-ref">validation</span></a></p>
           <td>

diff --git a/core/binary/conventions.html b/core/binary/conventions.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>Conventions &#8212; WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-04)</title>
+    <title>Conventions &#8212; WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-19)</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>

diff --git a/core/binary/index.html b/core/binary/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>Binary Format &#8212; WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-04)</title>
+    <title>Binary Format &#8212; WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-19)</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>

diff --git a/core/binary/instructions.html b/core/binary/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>Instructions &#8212; WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-04)</title>
+    <title>Instructions &#8212; WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-19)</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>

diff --git a/core/binary/modules.html b/core/binary/modules.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>Modules &#8212; WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-04)</title>
+    <title>Modules &#8212; WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-19)</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>

diff --git a/core/binary/types.html b/core/binary/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>Types &#8212; WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-04)</title>
+    <title>Types &#8212; WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-19)</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>

diff --git a/core/binary/values.html b/core/binary/values.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>Values &#8212; WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-04)</title>
+    <title>Values &#8212; WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-19)</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>

diff --git a/core/exec/conventions.html b/core/exec/conventions.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>Conventions &#8212; WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-04)</title>
+    <title>Conventions &#8212; WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-19)</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>

diff --git a/core/exec/index.html b/core/exec/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>Execution &#8212; WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-04)</title>
+    <title>Execution &#8212; WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-19)</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>