Skip to content

Commit

Permalink
deploy: 51c7216
Browse files Browse the repository at this point in the history
  • Loading branch information
rossberg committed Jun 6, 2023
1 parent 34716ce commit d304d02
Show file tree
Hide file tree
Showing 54 changed files with 1,790 additions and 490 deletions.
2 changes: 1 addition & 1 deletion core/.buildinfo
Original file line number Diff line number Diff line change
@@ -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: 9460052bdd60565905a93b2a886525ee
config: 1d0fa02d6d2c1f8205c1e7f5ac810d81
tags: 645f666f9bcd5a90fca523b33c5a78b7
Binary file modified core/_download/WebAssembly.pdf
Binary file not shown.
2 changes: 1 addition & 1 deletion core/_static/documentation_options.js
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
var DOCUMENTATION_OPTIONS = {
URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'),
VERSION: '2.0 (Draft 2023-04-26)',
VERSION: '2.0 (Draft 2023-06-06)',
LANGUAGE: 'en',
COLLAPSE_INDEX: false,
BUILDER: 'html',
Expand Down
2 changes: 1 addition & 1 deletion core/appendix/algorithm.html
Original file line number Diff line number Diff line change
Expand Up @@ -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-04-26)</title>
<title>Validation Algorithm &#8212; WebAssembly 2.0 (Draft 2023-06-06)</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>
Expand Down
2 changes: 1 addition & 1 deletion core/appendix/changes.html
Original file line number Diff line number Diff line change
Expand Up @@ -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-04-26)</title>
<title>Change History &#8212; WebAssembly 2.0 (Draft 2023-06-06)</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>
Expand Down
2 changes: 1 addition & 1 deletion core/appendix/custom.html
Original file line number Diff line number Diff line change
Expand Up @@ -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-04-26)</title>
<title>Custom Sections &#8212; WebAssembly 2.0 (Draft 2023-06-06)</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>
Expand Down
6 changes: 3 additions & 3 deletions core/appendix/embedding.html
Original file line number Diff line number Diff line change
Expand Up @@ -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-04-26)</title>
<title>Embedding &#8212; WebAssembly 2.0 (Draft 2023-06-06)</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>
Expand Down Expand Up @@ -335,8 +335,8 @@ <h2>Pre- and Post-Conditions<a class="headerlink" href="#pre-and-post-conditions
</section>
<section id="tables">
<span id="embed-table"></span><span id="index-13"></span><h2>Tables<a class="headerlink" href="#tables" title="Permalink to this heading"></a></h2>
<section id="mathrm-table-alloc-xref-exec-runtime-syntax-store-mathit-store-xref-syntax-types-syntax-tabletype-mathit-tabletype-xref-exec-runtime-syntax-store-mathit-store-xref-exec-runtime-syntax-tableaddr-mathit-tableaddr-xref-exec-runtime-syntax-ref-mathit-ref">
<span id="embed-table-alloc"></span><h3><span class="math notranslate nohighlight">\(\mathrm{table\_alloc}(\href{../exec/runtime.html#syntax-store}{\mathit{store}}, \href{../syntax/types.html#syntax-tabletype}{\mathit{tabletype}}) : (\href{../exec/runtime.html#syntax-store}{\mathit{store}}, \href{../exec/runtime.html#syntax-tableaddr}{\mathit{tableaddr}}, \href{../exec/runtime.html#syntax-ref}{\mathit{ref}})\)</span><a class="headerlink" href="#mathrm-table-alloc-xref-exec-runtime-syntax-store-mathit-store-xref-syntax-types-syntax-tabletype-mathit-tabletype-xref-exec-runtime-syntax-store-mathit-store-xref-exec-runtime-syntax-tableaddr-mathit-tableaddr-xref-exec-runtime-syntax-ref-mathit-ref" title="Permalink to this heading"></a></h3>
<section id="mathrm-table-alloc-xref-exec-runtime-syntax-store-mathit-store-xref-syntax-types-syntax-tabletype-mathit-tabletype-xref-exec-runtime-syntax-ref-mathit-ref-xref-exec-runtime-syntax-store-mathit-store-xref-exec-runtime-syntax-tableaddr-mathit-tableaddr">
<span id="embed-table-alloc"></span><h3><span class="math notranslate nohighlight">\(\mathrm{table\_alloc}(\href{../exec/runtime.html#syntax-store}{\mathit{store}}, \href{../syntax/types.html#syntax-tabletype}{\mathit{tabletype}}, \href{../exec/runtime.html#syntax-ref}{\mathit{ref}}) : (\href{../exec/runtime.html#syntax-store}{\mathit{store}}, \href{../exec/runtime.html#syntax-tableaddr}{\mathit{tableaddr}})\)</span><a class="headerlink" href="#mathrm-table-alloc-xref-exec-runtime-syntax-store-mathit-store-xref-syntax-types-syntax-tabletype-mathit-tabletype-xref-exec-runtime-syntax-ref-mathit-ref-xref-exec-runtime-syntax-store-mathit-store-xref-exec-runtime-syntax-tableaddr-mathit-tableaddr" title="Permalink to this heading"></a></h3>
<ol class="arabic simple">
<li><p>Pre-condition: <span class="math notranslate nohighlight">\(\href{../syntax/types.html#syntax-tabletype}{\mathit{tabletype}}\)</span> is <a class="reference internal" href="../valid/types.html#valid-tabletype"><span class="std std-ref">valid</span></a>.</p></li>
<li><p>Let <span class="math notranslate nohighlight">\(\href{../exec/runtime.html#syntax-tableaddr}{\mathit{tableaddr}}\)</span> be the result of <a class="reference internal" href="../exec/modules.html#alloc-table"><span class="std std-ref">allocating a table</span></a> in <span class="math notranslate nohighlight">\(\href{../exec/runtime.html#syntax-store}{\mathit{store}}\)</span> with <a class="reference internal" href="../syntax/types.html#syntax-tabletype"><span class="std std-ref">table type</span></a> <span class="math notranslate nohighlight">\(\href{../syntax/types.html#syntax-tabletype}{\mathit{tabletype}}\)</span> and initialization value <span class="math notranslate nohighlight">\(\href{../exec/runtime.html#syntax-ref}{\mathit{ref}}\)</span>.</p></li>
Expand Down
2 changes: 1 addition & 1 deletion core/appendix/implementation.html
Original file line number Diff line number Diff line change
Expand Up @@ -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-04-26)</title>
<title>Implementation Limitations &#8212; WebAssembly 2.0 (Draft 2023-06-06)</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>
Expand Down
6 changes: 3 additions & 3 deletions core/appendix/index-instructions.html
Original file line number Diff line number Diff line change
Expand Up @@ -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-04-26)</title>
<title>Index of Instructions &#8212; WebAssembly 2.0 (Draft 2023-06-06)</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>
Expand Down Expand Up @@ -2261,13 +2261,13 @@ <h3 id="searchlabel">Quick search</h3>
<td><p><a class="reference internal" href="../valid/instructions.html#valid-store-lane"><span class="std std-ref">validation</span></a></p></td>
<td><p><a class="reference internal" href="../exec/instructions.html#exec-store-lane"><span class="std std-ref">execution</span></a></p></td>
</tr>
<tr class="row-even"><td><p><span class="math notranslate nohighlight">\(\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}\mathsf{32\_zero}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}~\href{../syntax/instructions.html#syntax-laneidx}{\mathit{laneidx}}\)</span></p></td>
<tr class="row-even"><td><p><span class="math notranslate nohighlight">\(\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}\mathsf{32\_zero}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}\)</span></p></td>
<td><p><span class="math notranslate nohighlight">\(\def\mathdef748#1{\mathtt{0x#1}}\mathdef748{FD}~~\def\mathdef749#1{\mathtt{0x#1}}\mathdef749{5C}\)</span></p></td>
<td><p><span class="math notranslate nohighlight">\([\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]\)</span></p></td>
<td><p><a class="reference internal" href="../valid/instructions.html#valid-load-zero"><span class="std std-ref">validation</span></a></p></td>
<td><p><a class="reference internal" href="../exec/instructions.html#exec-load-zero"><span class="std std-ref">execution</span></a></p></td>
</tr>
<tr class="row-odd"><td><p><span class="math notranslate nohighlight">\(\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}\mathsf{64\_zero}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}~\href{../syntax/instructions.html#syntax-laneidx}{\mathit{laneidx}}\)</span></p></td>
<tr class="row-odd"><td><p><span class="math notranslate nohighlight">\(\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}\mathsf{64\_zero}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}\)</span></p></td>
<td><p><span class="math notranslate nohighlight">\(\def\mathdef750#1{\mathtt{0x#1}}\mathdef750{FD}~~\def\mathdef751#1{\mathtt{0x#1}}\mathdef751{5D}\)</span></p></td>
<td><p><span class="math notranslate nohighlight">\([\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]\)</span></p></td>
<td><p><a class="reference internal" href="../valid/instructions.html#valid-load-zero"><span class="std std-ref">validation</span></a></p></td>
Expand Down
2 changes: 1 addition & 1 deletion core/appendix/index-rules.html
Original file line number Diff line number Diff line change
Expand Up @@ -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-04-26)</title>
<title>Index of Semantic Rules &#8212; WebAssembly 2.0 (Draft 2023-06-06)</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>
Expand Down
2 changes: 1 addition & 1 deletion core/appendix/index-types.html
Original file line number Diff line number Diff line change
Expand Up @@ -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-04-26)</title>
<title>Index of Types &#8212; WebAssembly 2.0 (Draft 2023-06-06)</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>
Expand Down
2 changes: 1 addition & 1 deletion core/appendix/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -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-04-26)</title>
<title>Appendix &#8212; WebAssembly 2.0 (Draft 2023-06-06)</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>
Expand Down
2 changes: 1 addition & 1 deletion core/appendix/properties.html
Original file line number Diff line number Diff line change
Expand Up @@ -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-04-26)</title>
<title>Soundness &#8212; WebAssembly 2.0 (Draft 2023-06-06)</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>
Expand Down
Loading

0 comments on commit d304d02

Please sign in to comment.