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 with WebAssembly/spec #19

Merged
merged 8 commits into from
Jan 25, 2024
Merged

Merge with WebAssembly/spec #19

merged 8 commits into from
Jan 25, 2024

Conversation

dhil
Copy link
Member

@dhil dhil commented Jan 25, 2024

No description provided.

@dhil dhil merged commit c49e324 into wasmfx:main Jan 25, 2024
5 checks passed
@dhil dhil deleted the wasmfx-merge branch January 25, 2024 15:29
dhil pushed a commit that referenced this pull request Jul 31, 2024
* [interpreter] add new assertions for custom sections

assert_malformed and assert_invalid now have a _custom variant, for
asserting custom section/annotation errors.

The js implementation is a no-op, since no JS engine currently support
any kind of diagnostic for custom sections.

* Update interpreter/script/run.ml

Co-authored-by: Andreas Rossberg <[email protected]>

* Update interpreter/script/run.ml

Co-authored-by: Andreas Rossberg <[email protected]>

* revert check_module change

* add custom assertions in the test harness

---------

Co-authored-by: Andreas Rossberg <[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.

7 participants