Stream: git-wasmtime

Topic: wasmtime / PR #4266 fuzz: allow generating shared memories


view this post on Zulip Wasmtime GitHub notifications bot (Jun 13 2022 at 18:41):

abrown opened PR #4266 from fuzz-shared-memory to main:

wasm-smith v0.11 has support for generating shared memories when the
threads_enabled configuration flag is set. This change turns on that
flag occasionally.

<!--

Please ensure that the following steps are all taken care of before submitting
the PR.

Please ensure all communication adheres to the code of conduct.
-->

view this post on Zulip Wasmtime GitHub notifications bot (Jun 13 2022 at 18:46):

abrown updated PR #4266 from fuzz-shared-memory to main.

view this post on Zulip Wasmtime GitHub notifications bot (Jun 13 2022 at 18:47):

abrown requested alexcrichton for a review on PR #4266.

view this post on Zulip Wasmtime GitHub notifications bot (Jun 13 2022 at 18:47):

abrown requested fitzgen for a review on PR #4266.

view this post on Zulip Wasmtime GitHub notifications bot (Jun 13 2022 at 22:34):

abrown created PR review comment:

FYI: this was removed as a cleanup because line 350 below has config.simd_enabled = true;

view this post on Zulip Wasmtime GitHub notifications bot (Jun 13 2022 at 22:34):

abrown submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Jun 13 2022 at 22:35):

abrown updated PR #4266 from fuzz-shared-memory to main.

view this post on Zulip Wasmtime GitHub notifications bot (Jun 13 2022 at 23:48):

abrown updated PR #4266 from fuzz-shared-memory to main.

view this post on Zulip Wasmtime GitHub notifications bot (Jun 14 2022 at 14:25):

alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Jun 14 2022 at 14:25):

alexcrichton created PR review comment:

Could this be expanded to include information such as:

view this post on Zulip Wasmtime GitHub notifications bot (Jun 14 2022 at 14:25):

alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Jun 14 2022 at 16:06):

abrown updated PR #4266 from fuzz-shared-memory to main.

view this post on Zulip Wasmtime GitHub notifications bot (Jun 14 2022 at 16:11):

abrown updated PR #4266 from fuzz-shared-memory to main.

view this post on Zulip Wasmtime GitHub notifications bot (Jun 14 2022 at 16:12):

abrown has marked PR #4266 as ready for review.

view this post on Zulip Wasmtime GitHub notifications bot (Jun 14 2022 at 16:50):

abrown merged PR #4266.


Last updated: Dec 23 2024 at 12:05 UTC