Stream: git-wasmtime

Topic: wasmtime / PR #5994 fuzzgen: Add more arithmetic ops


view this post on Zulip Wasmtime GitHub notifications bot (Mar 11 2023 at 18:22):

afonso360 requested jameysharp for a review on PR #5994.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 11 2023 at 18:22):

afonso360 opened PR #5994 from fuzz-simd-arith to main:

:wave: Hey,

This is part 2 of #5991. In that PR I added some arithmetic ops to the interpreter, in this one we add those to the fuzzer.

Some notes:

This PR is built on top of #5991, but the only relevant commit is the last one.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 11 2023 at 18:23):

afonso360 edited PR #5994 from fuzz-simd-arith to main:

:wave: Hey,

This is part 2 of #5991. In that PR I added some arithmetic ops to the interpreter, in this one we add those to the fuzzer.

Some notes:

This PR is built on top of #5991, but the only relevant commit is the last one.

I've been running the fuzzer for about an hour on x86 and AArch64 and it hasn't complained yet, I'll update this if it finds something.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 13 2023 at 19:33):

jameysharp submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 17 2023 at 15:03):

afonso360 updated PR #5994 from fuzz-simd-arith to main.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 17 2023 at 15:05):

afonso360 has enabled auto merge for PR #5994.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 17 2023 at 16:03):

afonso360 merged PR #5994.


Last updated: Oct 23 2024 at 20:03 UTC