diff --git a/core/_download/WebAssembly.pdf b/core/_download/WebAssembly.pdf index c60a9c06d..7199f44a6 100644 Binary files a/core/_download/WebAssembly.pdf and b/core/_download/WebAssembly.pdf differ diff --git a/core/_static/documentation_options.js b/core/_static/documentation_options.js index 314cb2978..0ca431c7b 100644 --- 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 index c9678559e..4999a76b0 100644 --- a/core/appendix/algorithm.html +++ b/core/appendix/algorithm.html @@ -6,7 +6,7 @@ - Validation Algorithm — WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-04) + Validation Algorithm — WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-19) diff --git a/core/appendix/changes.html b/core/appendix/changes.html index 2a3dbb818..f2fcaab8d 100644 --- a/core/appendix/changes.html +++ b/core/appendix/changes.html @@ -6,7 +6,7 @@ - Change History — WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-04) + Change History — WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-19) diff --git a/core/appendix/custom.html b/core/appendix/custom.html index 61bea5949..a040fda1b 100644 --- a/core/appendix/custom.html +++ b/core/appendix/custom.html @@ -6,7 +6,7 @@ - Custom Sections — WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-04) + Custom Sections — WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-19) diff --git a/core/appendix/embedding.html b/core/appendix/embedding.html index 2d405de06..59bd07193 100644 --- a/core/appendix/embedding.html +++ b/core/appendix/embedding.html @@ -6,7 +6,7 @@ - Embedding — WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-04) + Embedding — WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-19) diff --git a/core/appendix/implementation.html b/core/appendix/implementation.html index 539e53a86..625777218 100644 --- a/core/appendix/implementation.html +++ b/core/appendix/implementation.html @@ -6,7 +6,7 @@ - Implementation Limitations — WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-04) + Implementation Limitations — WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-19) diff --git a/core/appendix/index-instructions.html b/core/appendix/index-instructions.html index 4a1ae2984..80585e2b3 100644 --- a/core/appendix/index-instructions.html +++ b/core/appendix/index-instructions.html @@ -6,7 +6,7 @@ - Index of Instructions — WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-04) + Index of Instructions — WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-19) @@ -1634,7 +1634,7 @@

Quick search

\(\href{../syntax/instructions.html#syntax-instr-array}{\mathsf{array.new}}~x\)

\(\def\mathdef539#1{\mathtt{0x#1}}\mathdef539{FB}~\def\mathdef540#1{\mathtt{0x#1}}\mathdef540{06}\)

-

\([t] \mathrel{\href{../valid/conventions.html#syntax-instrtype}{\rightarrow}} [(\href{../syntax/types.html#syntax-reftype}{\mathsf{ref}}~x)]\)

+

\([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)]\)

validation

execution

diff --git a/core/appendix/index-rules.html b/core/appendix/index-rules.html index 570082c9a..124ce242d 100644 --- a/core/appendix/index-rules.html +++ b/core/appendix/index-rules.html @@ -6,7 +6,7 @@ - Index of Semantic Rules — WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-04) + Index of Semantic Rules — WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-19) diff --git a/core/appendix/index-types.html b/core/appendix/index-types.html index 48278550e..66a01dbfe 100644 --- a/core/appendix/index-types.html +++ b/core/appendix/index-types.html @@ -6,7 +6,7 @@ - Index of Types — WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-04) + Index of Types — WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-19) diff --git a/core/appendix/index.html b/core/appendix/index.html index c274cce04..003739a2c 100644 --- a/core/appendix/index.html +++ b/core/appendix/index.html @@ -6,7 +6,7 @@ - Appendix — WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-04) + Appendix — WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-19) diff --git a/core/appendix/properties.html b/core/appendix/properties.html index 90a784c13..c89016de2 100644 --- a/core/appendix/properties.html +++ b/core/appendix/properties.html @@ -6,7 +6,7 @@ - Type Soundness — WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-04) + Type Soundness — WebAssembly 2.0 + tail calls + function references + gc (Draft 2024-09-19) diff --git a/core/bikeshed/index.html b/core/bikeshed/index.html index 87fe05e12..edcbffe5e 100644 --- a/core/bikeshed/index.html +++ b/core/bikeshed/index.html @@ -6,7 +6,7 @@ - +