Stream: git-wasmtime

Topic: wasmtime / PR #10700 Temporarily disable simd differentia...


view this post on Zulip Wasmtime GitHub notifications bot (Apr 30 2025 at 16:44):

alexcrichton opened PR #10700 from alexcrichton:disable-simd-differential-fuzzing-with-wasmi to bytecodealliance:main:

OSS-Fuzz has found a differential execution with wasmi/wasmtime which relates to simd which I've reported, so in the meantime to let the fuzzers keep making progress this disables simd when using wasmi as a differential fuzzer.

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

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
-->

view this post on Zulip Wasmtime GitHub notifications bot (Apr 30 2025 at 16:44):

alexcrichton requested wasmtime-fuzz-reviewers for a review on PR #10700.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 30 2025 at 16:44):

alexcrichton requested fitzgen for a review on PR #10700.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 30 2025 at 17:44):

github-actions[bot] commented on PR #10700:

Subscribe to Label Action

cc @fitzgen

<details>
This issue or pull request has been labeled: "fuzzing"

Thus the following users have been cc'd because of the following labels:

To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.

Learn more.
</details>

view this post on Zulip Wasmtime GitHub notifications bot (Apr 30 2025 at 18:20):

fitzgen submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 30 2025 at 18:42):

fitzgen merged PR #10700.

view this post on Zulip Wasmtime GitHub notifications bot (Jun 20 2025 at 21:29):

Robbepop commented on PR #10700:

Note for future: The reported Wasmi bug was this: https://github.com/wasmi-labs/wasmi/pull/1450
This has since been fixed and included in https://github.com/wasmi-labs/wasmi/releases/tag/v0.44.1.


Last updated: Dec 06 2025 at 06:05 UTC