spec

spec copied to clipboard

[Spec] Please do not use MathML for non-mathematical items

6

As it currently stands, the specification uses MathML for things like abstract syntax notation and such. Though this works for screen readers, most screen readers treat MathML as a single...

ethindp

Clarification regarding value parameter for WebAssembly.Global etc.

3

Please confirm if the intended behavior for reference-typed WebAssembly.Global is the following: - `new WebAssembly.Global({ "value": "anyfunc", "mutable": true}).value == null` - `new WebAssembly.Global({ "value": "anyfunc", "mutable": true}, undefined)` throws...

manoskouk

assert_invalid and assert_malformed produce inconsistent JS tests

6

I observed this on the [address.wast](https://github.com/WebAssembly/spec/blob/main/test/core/address.wast#L213) test, line 213: ``` (assert_malformed (module quote "(memory 1)" "(func (drop (i32.load offset=4294967296 (i32.const 0))))" ) "i32 constant" ) ``` Converted to JS via...

backes

Not enough unreachability/side-effects tests

2

While a real compiler should never emit code like ```wast (module (global $a (mut i32) (i32.const 0)) (func (export "get-a") (result i32) (global.get $a)) (func $set-and-return-a (result i32) (global.set $a...

SoniEx2

A requirement appearing after [Memory.grow(delta)](https://webassembly.github.io/spec/js-api/#dom-memory-grow) asks the host to execute code after an instruction completes: > Immediately after a WebAssembly [memory.grow](https://webassembly.github.io/spec/core/exec/instructions.html#exec-memory-grow) instruction executes, perform the following steps: > [...] There...

alimpfard

[interpreter] Support nested invoke/get in test scripts

3

Also adds `set` action to mutate globals. See script.wast for examples. @titzer, PTAL. Should fix #1568. This was straightforward to implement, except for the JS conversion, which caused quite some...

rossberg

Add text syntax for defining multiple locals of the same type

2

The binary format for WebAssembly defines function locals as a counts of a type to define contiguous sets of typed indices. The s-expression text format for WebAssembly, however, does not...

alexcrichton

Feature request: test-local variables in .wast

3

In a CG call a few weeks back, I mentioned that having the ability to have test-local variables in `.wast` files would be useful. In particular, many tests that use...

titzer

Closes #1573 ### Problem Current ['Alabaster'](https://sphinx-themes.org/) theme does not support mobile and dark mode ### Proposed solution Use ['Furo'](https://sphinx-themes.org/sample-sites/furo/) theme. No particular technical reason for this specific theme, apart from...

Web3NL

docs: missing mobile friendly theme with darkmode

1

As a user I would love to browse the spec docs on mobile in dark mode. There seems to be enough choices on https://sphinx-themes.org/ Agree?

Web3NL