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.

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

Merge remote-tracking branch 'spec/wasm-3.0' #89

Merged
merged 150 commits into from
Oct 8, 2024

Conversation

backes
Copy link
Member

@backes backes commented Oct 8, 2024

This is to fix execution of the tests in a JS engine, see WebAssembly/spec#1829 and WebAssembly/spec#1832.

The merge applied cleanly (no conflicts to resolve).

ngzhian and others added 30 commits March 16, 2021 13:52
Add a references section with useful links
Add template for suggesting new instructions.
* Add paragraph on fpenv

* Attribute must be 0 for now, call it a module element

* Name fpu to make examples clearer

* Reword paragraph on fpenv instantiation

* Reword last paragraph describing what fpenv is

* Add attribute 0 to import example
As this is the first time we have separate proposals under the same subgroup - I'm duplicating the charter here as well as in the flexible vectors proposal for discoverability, and for easy modification in case we decide to split the subgroup based on proposals in the future.
Report status of SpiderMonkey implemention
Remove fpenv from overview, add proposed spec text on Relaxed operations
Copy link
Member

@sbc100 sbc100 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm, but can you land this by hand (since we want it to be an actual merge commit, and I disabled merge commits from PRs.. if you prefer I can change that setting).

@backes backes merged commit aa4ff11 into WebAssembly:main Oct 8, 2024
9 checks passed
@backes
Copy link
Member Author

backes commented Oct 8, 2024

Thanks, I merged it from the console.

@backes backes deleted the merge-wasm3.0 branch October 8, 2024 16:24
@backes backes mentioned this pull request Oct 29, 2024
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.

9 participants