Skip to content

Conversation

@lukewagner
Copy link
Member

Update ml-proto to match AstSemantics.md which has set_local and store returning the rhs (before any wrapping).

@sunfishcode
Copy link
Member

lgtm

@rossberg
Copy link
Member

rossberg commented Oct 5, 2015

LGTM

lukewagner added a commit that referenced this pull request Oct 5, 2015
Give set_local/store result types
@lukewagner lukewagner merged commit a73cdd3 into master Oct 5, 2015
@lukewagner lukewagner deleted the store-retval branch October 5, 2015 15:02
alexcrichton pushed a commit to alexcrichton/spec that referenced this pull request Nov 18, 2019
Fix pseudocode, was causing syntax highlight issues
eqrion pushed a commit to eqrion/wasm-spec that referenced this pull request Nov 25, 2019
Also clean up some `table.copy` text.

* WIP on fixes; checkpoint to avoid working over ssh
* Address comments and other fixes
* Add missing `if n=0` case to `memory.fill` and `memory.init`
* Move `n=0` case to the top in `memory.fill`
* Use `\vconst` to ensure constants are well-formed
* Use 3 spaces instead of 4 in `memory.copy` and `table.copy` to prevent
  double-spaced numeric list
* Add `_t` subscript to '`\vconst`
* Add cnt=1 case
* Make prose match formal
dhil pushed a commit to dhil/webassembly-spec that referenced this pull request Sep 21, 2023
…lobal

[test] Test global imports as table initializers
stevenfontanella pushed a commit to stevenfontanella/spec that referenced this pull request Nov 12, 2025
memory64:
    WebAssembly/memory64@ade7380d

This change was automatically generated by `update-testsuite.sh`

Co-authored-by: WebAssembly/testsuite auto-update <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants