Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Put the reduction rules in the explainer #91

Open
dhil opened this issue Sep 26, 2024 · 1 comment · May be fixed by #109
Open

Put the reduction rules in the explainer #91

dhil opened this issue Sep 26, 2024 · 1 comment · May be fixed by #109
Labels
documentation Improvements or additions to documentation

Comments

@dhil
Copy link
Member

dhil commented Sep 26, 2024

The explainer covers the static semantics of the proposed extension, but not so such its dynamic semantics. We do have the reduction rules scattered between an old document and in a comment on another issue. We should bring these together into the execution section of the explainer.
@dhil dhil added the documentation Improvements or additions to documentation label Sep 26, 2024
@fgmccabe
Copy link
Collaborator

Sounds good to me.

dhil pushed a commit to dhil/wasm-stack-switching that referenced this issue Jan 15, 2025
@bvisness
Spec test updates (WebAssembly#91)
ade7380 
* Update JS API tests for memory64 and table64

* Add memory and table matching tests

* Improve loop in assert_Table

* Update spec tests to "address"

* Rename params in table assertion func
@dhil dhil linked a pull request Jan 22, 2025 that will close this issue
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
documentation Improvements or additions to documentation
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Reduction semantics dhil/wasm-stack-switching
2 participants
@dhil @fgmccabe