diff --git a/core/.buildinfo b/core/.buildinfo
index 2d87f4bd7..92baaafb3 100644
--- 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: 7d832f33842ca399e01c898b36197ef6
+config: b476992a8a5bd432c460c34ff5dfc68a
tags: 645f666f9bcd5a90fca523b33c5a78b7
diff --git a/core/_download/WebAssembly.pdf b/core/_download/WebAssembly.pdf
index 756e71628..0c701c5d4 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 ece40e867..e61fbc162 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 (Draft 2024-07-02)',
+ VERSION: '2.0 (Draft 2024-08-01)',
LANGUAGE: 'en',
COLLAPSE_INDEX: false,
BUILDER: 'html',
diff --git a/core/appendix/algorithm.html b/core/appendix/algorithm.html
index d0e797572..9bb0f9750 100644
--- a/core/appendix/algorithm.html
+++ b/core/appendix/algorithm.html
@@ -6,7 +6,7 @@
-
Validation Algorithm — WebAssembly 2.0 (Draft 2024-07-02)
+ Validation Algorithm — WebAssembly 2.0 (Draft 2024-08-01)
diff --git a/core/appendix/changes.html b/core/appendix/changes.html
index 022d54772..580214287 100644
--- a/core/appendix/changes.html
+++ b/core/appendix/changes.html
@@ -6,7 +6,7 @@
- Change History — WebAssembly 2.0 (Draft 2024-07-02)
+ Change History — WebAssembly 2.0 (Draft 2024-08-01)
diff --git a/core/appendix/custom.html b/core/appendix/custom.html
index 2cc94bd96..63be34c2b 100644
--- a/core/appendix/custom.html
+++ b/core/appendix/custom.html
@@ -6,7 +6,7 @@
- Custom Sections — WebAssembly 2.0 (Draft 2024-07-02)
+ Custom Sections — WebAssembly 2.0 (Draft 2024-08-01)
diff --git a/core/appendix/embedding.html b/core/appendix/embedding.html
index f416d6733..900316832 100644
--- a/core/appendix/embedding.html
+++ b/core/appendix/embedding.html
@@ -6,7 +6,7 @@
- Embedding — WebAssembly 2.0 (Draft 2024-07-02)
+ Embedding — WebAssembly 2.0 (Draft 2024-08-01)
diff --git a/core/appendix/implementation.html b/core/appendix/implementation.html
index 17fccaf30..ab656b230 100644
--- a/core/appendix/implementation.html
+++ b/core/appendix/implementation.html
@@ -6,7 +6,7 @@
- Implementation Limitations — WebAssembly 2.0 (Draft 2024-07-02)
+ Implementation Limitations — WebAssembly 2.0 (Draft 2024-08-01)
diff --git a/core/appendix/index-instructions.html b/core/appendix/index-instructions.html
index 9a8ef1e8f..d4fbf5395 100644
--- a/core/appendix/index-instructions.html
+++ b/core/appendix/index-instructions.html
@@ -6,7 +6,7 @@
- Index of Instructions — WebAssembly 2.0 (Draft 2024-07-02)
+ Index of Instructions — WebAssembly 2.0 (Draft 2024-08-01)
diff --git a/core/appendix/index-rules.html b/core/appendix/index-rules.html
index f9b6f4334..de6b9a92f 100644
--- a/core/appendix/index-rules.html
+++ b/core/appendix/index-rules.html
@@ -6,7 +6,7 @@
- Index of Semantic Rules — WebAssembly 2.0 (Draft 2024-07-02)
+ Index of Semantic Rules — WebAssembly 2.0 (Draft 2024-08-01)
diff --git a/core/appendix/index-types.html b/core/appendix/index-types.html
index e61331e28..37e6a4036 100644
--- a/core/appendix/index-types.html
+++ b/core/appendix/index-types.html
@@ -6,7 +6,7 @@
- Index of Types — WebAssembly 2.0 (Draft 2024-07-02)
+ Index of Types — WebAssembly 2.0 (Draft 2024-08-01)
diff --git a/core/appendix/index.html b/core/appendix/index.html
index 2aaa87465..ded3f7e8f 100644
--- a/core/appendix/index.html
+++ b/core/appendix/index.html
@@ -6,7 +6,7 @@
- Appendix — WebAssembly 2.0 (Draft 2024-07-02)
+ Appendix — WebAssembly 2.0 (Draft 2024-08-01)
diff --git a/core/appendix/properties.html b/core/appendix/properties.html
index 37ca2a36e..8251b2c29 100644
--- a/core/appendix/properties.html
+++ b/core/appendix/properties.html
@@ -6,7 +6,7 @@
- Soundness — WebAssembly 2.0 (Draft 2024-07-02)
+ Soundness — WebAssembly 2.0 (Draft 2024-08-01)
diff --git a/core/bikeshed/index.html b/core/bikeshed/index.html
index 14202c4be..6ca080592 100644
--- a/core/bikeshed/index.html
+++ b/core/bikeshed/index.html
@@ -4,9 +4,9 @@
WebAssembly Core Specification
-
+
-
+
@@ -721,7 +743,7 @@
WebAssembly JavaScript Interface
-
Editor’s Draft , 2 July 2024
+
Editor’s Draft , 1 August 2024
More details about this document
@@ -1700,7 +1722,7 @@
4
ArrayBuffer
objects returned by a Memory
object must have a size that is a multiple of a WebAssembly page size (the constant 65536). For this reason HostResizeArrayBuffer is redefined as follows.
- The
abstract operation HostResizeArrayBuffer takes arguments
buffer (an
ArrayBuffer
) and
newLength . It performs the following steps when called.
+
The abstract operation HostResizeArrayBuffer takes arguments buffer (an ArrayBuffer
) and newLength . It performs the following steps when called.
If buffer .[[ArrayBufferDetachKey]] is "WebAssembly.Memory",
@@ -2273,7 +2295,7 @@ Let method be ? GetMethod (ret , %Symbol.iterator%
).
If method is undefined, throw a TypeError
.
@@ -2515,7 +2537,7 @@ NativeError Object Structure, with NativeError set to error .
- ! CreateMethodProperty (namespaceObject , error , constructor ).
+ ! DefineMethodProperty (namespaceObject , error , constructor , false).
@@ -2636,7 +2658,7 @@