Skip to content

Commit

Permalink
publish: add evt to soundness statement
Browse files Browse the repository at this point in the history 
generated from commit be7006e
  • Loading branch information
@conrad-watt
conrad-watt committed Oct 7, 2023
1 parent ae36e0f commit 12044a3
Show file tree
Hide file tree
Showing 53 changed files with 3,509 additions and 2,370 deletions.
Binary file modified core/_download/WebAssembly.pdf
View file
Binary file not shown.
2 changes: 1 addition & 1 deletion core/_static/documentation_options.js
View file
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 + Threads (Draft 2023-10-05)',
VERSION: '2.0 + Threads (Draft 2023-10-07)',
LANGUAGE: 'en',
COLLAPSE_INDEX: false,
BUILDER: 'html',
Expand Down
2 changes: 1 addition & 1 deletion core/appendix/algorithm.html
View file
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.17.1: http://docutils.sourceforge.net/" />

<title>Validation Algorithm &#8212; WebAssembly 2.0 + Threads (Draft 2023-10-05)</title>
<title>Validation Algorithm &#8212; WebAssembly 2.0 + Threads (Draft 2023-10-07)</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
View file
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.17.1: http://docutils.sourceforge.net/" />

<title>Change History &#8212; WebAssembly 2.0 + Threads (Draft 2023-10-05)</title>
<title>Change History &#8212; WebAssembly 2.0 + Threads (Draft 2023-10-07)</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
View file
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.17.1: http://docutils.sourceforge.net/" />

<title>Custom Sections &#8212; WebAssembly 2.0 + Threads (Draft 2023-10-05)</title>
<title>Custom Sections &#8212; WebAssembly 2.0 + Threads (Draft 2023-10-07)</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/embedding.html
View file
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.17.1: http://docutils.sourceforge.net/" />

<title>Embedding &#8212; WebAssembly 2.0 + Threads (Draft 2023-10-05)</title>
<title>Embedding &#8212; WebAssembly 2.0 + Threads (Draft 2023-10-07)</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/implementation.html
View file
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.17.1: http://docutils.sourceforge.net/" />

<title>Implementation Limitations &#8212; WebAssembly 2.0 + Threads (Draft 2023-10-05)</title>
<title>Implementation Limitations &#8212; WebAssembly 2.0 + Threads (Draft 2023-10-07)</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
1,420 changes: 911 additions & 509 deletions core/appendix/index-instructions.html
View file

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion core/appendix/index-rules.html
View file
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.17.1: http://docutils.sourceforge.net/" />

<title>Index of Semantic Rules &#8212; WebAssembly 2.0 + Threads (Draft 2023-10-05)</title>
<title>Index of Semantic Rules &#8212; WebAssembly 2.0 + Threads (Draft 2023-10-07)</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
28 changes: 14 additions & 14 deletions core/appendix/index-types.html
View file
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.17.1: http://docutils.sourceforge.net/" />

<title>Index of Types &#8212; WebAssembly 2.0 + Threads (Draft 2023-10-05)</title>
<title>Index of Types &#8212; WebAssembly 2.0 + Threads (Draft 2023-10-07)</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 @@ -93,55 +93,55 @@ <h3 id="searchlabel">Quick search</h3>
<tbody>
<tr class="row-even"><td><p><a class="reference internal" href="../syntax/modules.html#syntax-typeidx"><span class="std std-ref">Type index</span></a></p></td>
<td><p><span class="math notranslate nohighlight">\(x\)</span></p></td>
<td><p>(positive number as <span class="math notranslate nohighlight">\(\href{../binary/values.html#binary-int}{\def\mathdef1192#1{{\mathtt{s}#1}}\mathdef1192{\mathtt{32}}}\)</span> or <span class="math notranslate nohighlight">\(\href{../binary/values.html#binary-int}{\def\mathdef1188#1{{\mathtt{u}#1}}\mathdef1188{\mathtt{32}}}\)</span>)</p></td>
<td><p>(positive number as <span class="math notranslate nohighlight">\(\href{../binary/values.html#binary-int}{\def\mathdef1327#1{{\mathtt{s}#1}}\mathdef1327{\mathtt{32}}}\)</span> or <span class="math notranslate nohighlight">\(\href{../binary/values.html#binary-int}{\def\mathdef1323#1{{\mathtt{u}#1}}\mathdef1323{\mathtt{32}}}\)</span>)</p></td>
</tr>
<tr class="row-odd"><td><p><a class="reference internal" href="../syntax/types.html#syntax-numtype"><span class="std std-ref">Number type</span></a></p></td>
<td><p><span class="math notranslate nohighlight">\(\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}\)</span></p></td>
<td><p><span class="math notranslate nohighlight">\(\def\mathdef1222#1{\mathtt{0x#1}}\mathdef1222{7F}\)</span> (-1 as <span class="math notranslate nohighlight">\(\href{../binary/values.html#binary-int}{\def\mathdef1191#1{{\mathtt{s}#1}}\mathdef1191{\mathtt{7}}}\)</span>)</p></td>
<td><p><span class="math notranslate nohighlight">\(\def\mathdef1357#1{\mathtt{0x#1}}\mathdef1357{7F}\)</span> (-1 as <span class="math notranslate nohighlight">\(\href{../binary/values.html#binary-int}{\def\mathdef1326#1{{\mathtt{s}#1}}\mathdef1326{\mathtt{7}}}\)</span>)</p></td>
</tr>
<tr class="row-even"><td><p><a class="reference internal" href="../syntax/types.html#syntax-numtype"><span class="std std-ref">Number type</span></a></p></td>
<td><p><span class="math notranslate nohighlight">\(\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}\)</span></p></td>
<td><p><span class="math notranslate nohighlight">\(\def\mathdef1223#1{\mathtt{0x#1}}\mathdef1223{7E}\)</span> (-2 as <span class="math notranslate nohighlight">\(\href{../binary/values.html#binary-int}{\def\mathdef1191#1{{\mathtt{s}#1}}\mathdef1191{\mathtt{7}}}\)</span>)</p></td>
<td><p><span class="math notranslate nohighlight">\(\def\mathdef1358#1{\mathtt{0x#1}}\mathdef1358{7E}\)</span> (-2 as <span class="math notranslate nohighlight">\(\href{../binary/values.html#binary-int}{\def\mathdef1326#1{{\mathtt{s}#1}}\mathdef1326{\mathtt{7}}}\)</span>)</p></td>
</tr>
<tr class="row-odd"><td><p><a class="reference internal" href="../syntax/types.html#syntax-numtype"><span class="std std-ref">Number type</span></a></p></td>
<td><p><span class="math notranslate nohighlight">\(\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}\)</span></p></td>
<td><p><span class="math notranslate nohighlight">\(\def\mathdef1224#1{\mathtt{0x#1}}\mathdef1224{7D}\)</span> (-3 as <span class="math notranslate nohighlight">\(\href{../binary/values.html#binary-int}{\def\mathdef1191#1{{\mathtt{s}#1}}\mathdef1191{\mathtt{7}}}\)</span>)</p></td>
<td><p><span class="math notranslate nohighlight">\(\def\mathdef1359#1{\mathtt{0x#1}}\mathdef1359{7D}\)</span> (-3 as <span class="math notranslate nohighlight">\(\href{../binary/values.html#binary-int}{\def\mathdef1326#1{{\mathtt{s}#1}}\mathdef1326{\mathtt{7}}}\)</span>)</p></td>
</tr>
<tr class="row-even"><td><p><a class="reference internal" href="../syntax/types.html#syntax-numtype"><span class="std std-ref">Number type</span></a></p></td>
<td><p><span class="math notranslate nohighlight">\(\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}\)</span></p></td>
<td><p><span class="math notranslate nohighlight">\(\def\mathdef1225#1{\mathtt{0x#1}}\mathdef1225{7C}\)</span> (-4 as <span class="math notranslate nohighlight">\(\href{../binary/values.html#binary-int}{\def\mathdef1191#1{{\mathtt{s}#1}}\mathdef1191{\mathtt{7}}}\)</span>)</p></td>
<td><p><span class="math notranslate nohighlight">\(\def\mathdef1360#1{\mathtt{0x#1}}\mathdef1360{7C}\)</span> (-4 as <span class="math notranslate nohighlight">\(\href{../binary/values.html#binary-int}{\def\mathdef1326#1{{\mathtt{s}#1}}\mathdef1326{\mathtt{7}}}\)</span>)</p></td>
</tr>
<tr class="row-odd"><td><p><a class="reference internal" href="../syntax/types.html#syntax-vectype"><span class="std std-ref">Vector type</span></a></p></td>
<td><p><span class="math notranslate nohighlight">\(\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}\)</span></p></td>
<td><p><span class="math notranslate nohighlight">\(\def\mathdef1226#1{\mathtt{0x#1}}\mathdef1226{7B}\)</span> (-5 as <span class="math notranslate nohighlight">\(\href{../binary/values.html#binary-int}{\def\mathdef1191#1{{\mathtt{s}#1}}\mathdef1191{\mathtt{7}}}\)</span>)</p></td>
<td><p><span class="math notranslate nohighlight">\(\def\mathdef1361#1{\mathtt{0x#1}}\mathdef1361{7B}\)</span> (-5 as <span class="math notranslate nohighlight">\(\href{../binary/values.html#binary-int}{\def\mathdef1326#1{{\mathtt{s}#1}}\mathdef1326{\mathtt{7}}}\)</span>)</p></td>
</tr>
<tr class="row-even"><td><p>(reserved)</p></td>
<td></td>
<td><p><span class="math notranslate nohighlight">\(\def\mathdef1227#1{\mathtt{0x#1}}\mathdef1227{7A}\)</span> .. <span class="math notranslate nohighlight">\(\def\mathdef1228#1{\mathtt{0x#1}}\mathdef1228{71}\)</span></p></td>
<td><p><span class="math notranslate nohighlight">\(\def\mathdef1362#1{\mathtt{0x#1}}\mathdef1362{7A}\)</span> .. <span class="math notranslate nohighlight">\(\def\mathdef1363#1{\mathtt{0x#1}}\mathdef1363{71}\)</span></p></td>
</tr>
<tr class="row-odd"><td><p><a class="reference internal" href="../syntax/types.html#syntax-reftype"><span class="std std-ref">Reference type</span></a></p></td>
<td><p><span class="math notranslate nohighlight">\(\href{../syntax/types.html#syntax-reftype}{\mathsf{funcref}}\)</span></p></td>
<td><p><span class="math notranslate nohighlight">\(\def\mathdef1229#1{\mathtt{0x#1}}\mathdef1229{70}\)</span> (-16 as <span class="math notranslate nohighlight">\(\href{../binary/values.html#binary-int}{\def\mathdef1191#1{{\mathtt{s}#1}}\mathdef1191{\mathtt{7}}}\)</span>)</p></td>
<td><p><span class="math notranslate nohighlight">\(\def\mathdef1364#1{\mathtt{0x#1}}\mathdef1364{70}\)</span> (-16 as <span class="math notranslate nohighlight">\(\href{../binary/values.html#binary-int}{\def\mathdef1326#1{{\mathtt{s}#1}}\mathdef1326{\mathtt{7}}}\)</span>)</p></td>
</tr>
<tr class="row-even"><td><p><a class="reference internal" href="../syntax/types.html#syntax-reftype"><span class="std std-ref">Reference type</span></a></p></td>
<td><p><span class="math notranslate nohighlight">\(\href{../syntax/types.html#syntax-reftype}{\mathsf{externref}}\)</span></p></td>
<td><p><span class="math notranslate nohighlight">\(\def\mathdef1230#1{\mathtt{0x#1}}\mathdef1230{6F}\)</span> (-17 as <span class="math notranslate nohighlight">\(\href{../binary/values.html#binary-int}{\def\mathdef1191#1{{\mathtt{s}#1}}\mathdef1191{\mathtt{7}}}\)</span>)</p></td>
<td><p><span class="math notranslate nohighlight">\(\def\mathdef1365#1{\mathtt{0x#1}}\mathdef1365{6F}\)</span> (-17 as <span class="math notranslate nohighlight">\(\href{../binary/values.html#binary-int}{\def\mathdef1326#1{{\mathtt{s}#1}}\mathdef1326{\mathtt{7}}}\)</span>)</p></td>
</tr>
<tr class="row-odd"><td><p>(reserved)</p></td>
<td></td>
<td><p><span class="math notranslate nohighlight">\(\def\mathdef1231#1{\mathtt{0x#1}}\mathdef1231{6E}\)</span> .. <span class="math notranslate nohighlight">\(\def\mathdef1232#1{\mathtt{0x#1}}\mathdef1232{61}\)</span></p></td>
<td><p><span class="math notranslate nohighlight">\(\def\mathdef1366#1{\mathtt{0x#1}}\mathdef1366{6E}\)</span> .. <span class="math notranslate nohighlight">\(\def\mathdef1367#1{\mathtt{0x#1}}\mathdef1367{61}\)</span></p></td>
</tr>
<tr class="row-even"><td><p><a class="reference internal" href="../syntax/types.html#syntax-functype"><span class="std std-ref">Function type</span></a></p></td>
<td><p><span class="math notranslate nohighlight">\([\href{../syntax/types.html#syntax-valtype}{\mathit{valtype}}^\ast] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathit{valtype}}^\ast]\)</span></p></td>
<td><p><span class="math notranslate nohighlight">\(\def\mathdef1233#1{\mathtt{0x#1}}\mathdef1233{60}\)</span> (-32 as <span class="math notranslate nohighlight">\(\href{../binary/values.html#binary-int}{\def\mathdef1191#1{{\mathtt{s}#1}}\mathdef1191{\mathtt{7}}}\)</span>)</p></td>
<td><p><span class="math notranslate nohighlight">\(\def\mathdef1368#1{\mathtt{0x#1}}\mathdef1368{60}\)</span> (-32 as <span class="math notranslate nohighlight">\(\href{../binary/values.html#binary-int}{\def\mathdef1326#1{{\mathtt{s}#1}}\mathdef1326{\mathtt{7}}}\)</span>)</p></td>
</tr>
<tr class="row-odd"><td><p>(reserved)</p></td>
<td></td>
<td><p><span class="math notranslate nohighlight">\(\def\mathdef1234#1{\mathtt{0x#1}}\mathdef1234{5F}\)</span> .. <span class="math notranslate nohighlight">\(\def\mathdef1235#1{\mathtt{0x#1}}\mathdef1235{41}\)</span></p></td>
<td><p><span class="math notranslate nohighlight">\(\def\mathdef1369#1{\mathtt{0x#1}}\mathdef1369{5F}\)</span> .. <span class="math notranslate nohighlight">\(\def\mathdef1370#1{\mathtt{0x#1}}\mathdef1370{41}\)</span></p></td>
</tr>
<tr class="row-even"><td><p><a class="reference internal" href="../syntax/types.html#syntax-resulttype"><span class="std std-ref">Result type</span></a></p></td>
<td><p><span class="math notranslate nohighlight">\([\epsilon]\)</span></p></td>
<td><p><span class="math notranslate nohighlight">\(\def\mathdef1236#1{\mathtt{0x#1}}\mathdef1236{40}\)</span> (-64 as <span class="math notranslate nohighlight">\(\href{../binary/values.html#binary-int}{\def\mathdef1191#1{{\mathtt{s}#1}}\mathdef1191{\mathtt{7}}}\)</span>)</p></td>
<td><p><span class="math notranslate nohighlight">\(\def\mathdef1371#1{\mathtt{0x#1}}\mathdef1371{40}\)</span> (-64 as <span class="math notranslate nohighlight">\(\href{../binary/values.html#binary-int}{\def\mathdef1326#1{{\mathtt{s}#1}}\mathdef1326{\mathtt{7}}}\)</span>)</p></td>
</tr>
<tr class="row-odd"><td><p><a class="reference internal" href="../syntax/types.html#syntax-tabletype"><span class="std std-ref">Table type</span></a></p></td>
<td><p><span class="math notranslate nohighlight">\(\href{../syntax/types.html#syntax-limits}{\mathit{limits}}~\href{../syntax/types.html#syntax-reftype}{\mathit{reftype}}\)</span></p></td>
Expand Down
2 changes: 1 addition & 1 deletion core/appendix/index.html
View file
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.17.1: http://docutils.sourceforge.net/" />

<title>Appendix &#8212; WebAssembly 2.0 + Threads (Draft 2023-10-05)</title>
<title>Appendix &#8212; WebAssembly 2.0 + Threads (Draft 2023-10-07)</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 12044a3

Please sign in to comment.