Stream: git-wasmtime

Topic: wasmtime / PR #10139 More Pulley Provenance Tests

Wasmtime GitHub notifications bot (Jan 28 2025 at 17:06):

alexcrichton opened PR #10139 from alexcrichton:more-pulley-provenance-test to bytecodealliance:main:

In the spirit of covering more libcalls and exercising more wasm this adds execution of table/memory intrinsics. This helped uncover some stacked-borrows unsoundness in how our table.copy intrinsic is implemented which was fixed with a new carefully typed method on PrimaryMap.

<!--
Please make sure you include the following information:

• If this work has been discussed elsewhere, please include a link to that
  conversation. If it was discussed in an issue, just mention "issue #...".

• Explain why this change is needed. If the details are in an issue already,
  this can be brief.

Our development process is documented in the Wasmtime book:
https://docs.wasmtime.dev/contributing-development-process.html

Please ensure all communication follows the code of conduct:
https://github.com/bytecodealliance/wasmtime/blob/main/CODE_OF_CONDUCT.md
-->

Wasmtime GitHub notifications bot (Jan 28 2025 at 17:06):

alexcrichton requested cfallin for a review on PR #10139.

Wasmtime GitHub notifications bot (Jan 28 2025 at 17:06):

alexcrichton requested wasmtime-compiler-reviewers for a review on PR #10139.

Wasmtime GitHub notifications bot (Jan 28 2025 at 17:06):

alexcrichton requested dicej for a review on PR #10139.

Wasmtime GitHub notifications bot (Jan 28 2025 at 17:06):

alexcrichton requested wasmtime-core-reviewers for a review on PR #10139.

Wasmtime GitHub notifications bot (Jan 28 2025 at 18:14):

dicej submitted PR review.

Wasmtime GitHub notifications bot (Jan 28 2025 at 19:26):

alexcrichton merged PR #10139.

Last updated: Feb 28 2025 at 03:10 UTC