spec
spec copied to clipboard
WebAssembly
WebAssembly specification, reference interpreter, and test suite.
The root license file advertises that the specification documents are licensed under W3C Software and Document license, for which more details should be found in a LICENSE file under the...
The spec repo (and it seems all the of forks) have a `master` branch which IIUC automatically tracks `main`. There was recently a change that disappeared because it was merged...
Adds explicit steps to run memtype and tabletype validation and throw a RangeError on failure. This explicitly satisfies the preconditions from the wasm embedding spec, and removes the need for...
There are several spec tests that test that a given module is malformed, where that same module would be considered well-formed under some mature-but-not-yet-standard proposal. For example, there is a...
On the wasm-3.0 branch, there's a few cases in the spec tests where an `assert_return` expects to get a `ref.null`, like in [this test from select.wast](https://github.com/WebAssembly/spec/blob/wasm-3.0%2Bannot/test/core/select.wast#L280C1-L280C66): ```wast (assert_return (invoke "join-funcnull"...
The [mem_alloc](https://webassembly.github.io/spec/core/appendix/embedding.html#mathrm-mem-alloc-xref-exec-runtime-syntax-store-mathit-store-xref-syntax-types-syntax-memtype-mathit-memtype-xref-exec-runtime-syntax-store-mathit-store-xref-exec-runtime-syntax-memaddr-mathit-memaddr) and [table_alloc](https://webassembly.github.io/spec/core/appendix/embedding.html#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) operations in the wasm embedding spec have pre-conditions asserting that the memory and table types are valid. The JS API spec does not actually ensure that...
The original sentence reads: > Taking a branch *unwinds* the operand stack up to the height where the targeted structured control instruction was entered. However, usually one speaks of the...
At the CG meeting today (July 16, 2024), we had unanimous consensus to raise the limits on the number of imports and exports on the Web to 1,000,000. See https://github.com/WebAssembly/design/issues/1520...
does the order of exports in a module have any significance on the semantics of the module? in the spec, i couldn't find anything based on the order. otoh, some...
Metadata
Owner
Metadata
WebAssembly specification, reference interpreter, and test suite.