Stream: git-wasmtime

Topic: wasmtime / PR #10480 Update Wasmi to v0.43.0 and enable i...

Wasmtime GitHub notifications bot (Mar 27 2025 at 12:27):

Robbepop opened PR #10480 from Robbepop:rf-update-fuzzing-to-wasmi-v0.43.0 to bytecodealliance:main:

This allows to differentially fuzz the Wasm simd proposal support in Wasmtime against Wasmi's simd proposal implementation.

Note though that Wasmi's simd support is very new and might be buggy thus introducing unnecessary noise to Wasmtime fuzzing. I differentially fuzzed Wasmi against Wasmtime locally (via Wasmi's fuzzing) and only found this Wasmtime bug after ~30 minutes of fuzzing.

Wasmtime GitHub notifications bot (Mar 27 2025 at 12:27):

Robbepop requested wasmtime-fuzz-reviewers for a review on PR #10480.

Wasmtime GitHub notifications bot (Mar 27 2025 at 12:27):

Robbepop requested fitzgen for a review on PR #10480.

Wasmtime GitHub notifications bot (Mar 27 2025 at 12:27):

Robbepop requested wasmtime-default-reviewers for a review on PR #10480.

Wasmtime GitHub notifications bot (Mar 27 2025 at 13:46):

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

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:

• fitzgen: fuzzing

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

Learn more.
</details>

Wasmtime GitHub notifications bot (Mar 27 2025 at 14:41):

alexcrichton submitted PR review.

Wasmtime GitHub notifications bot (Mar 28 2025 at 04:06):

alexcrichton updated PR #10480.

Wasmtime GitHub notifications bot (Mar 28 2025 at 04:06):

alexcrichton has enabled auto merge for PR #10480.

Wasmtime GitHub notifications bot (Mar 28 2025 at 04:43):

alexcrichton merged PR #10480.

Last updated: Apr 18 2025 at 04:04 UTC