Stream: git-wasmtime

Topic: wasmtime / PR #5886 fuzzgen: Add `atomic_cas` instruction


view this post on Zulip Wasmtime GitHub notifications bot (Feb 26 2023 at 17:55):

afonso360 opened PR #5886 from fuzz-cas to main:

:wave: Hey,

This PR adds the recently implemented (in the interpreter) AtomicCas instruction to fuzzgen.

Fuzzed this for about an hour on RISCV/x64/AArch64 and surprisingly it didn't find anything.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 26 2023 at 17:56):

afonso360 requested jameysharp for a review on PR #5886.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 27 2023 at 18:20):

jameysharp submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 28 2023 at 11:01):

afonso360 merged PR #5886.


Last updated: Dec 23 2024 at 12:05 UTC