Stream: git-wasmtime

Topic: wasmtime / PR #4436 Update wasmi used for differential fu...


view this post on Zulip Wasmtime GitHub notifications bot (Jul 12 2022 at 17:43):

alexcrichton opened PR #4436 from update-wasmi to main:

This fixes a bug recently found on oss-fuzz which was fixed in
paritytech/wasmi#295 and paritytech/wasmi#293.

<!--

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 (Jul 12 2022 at 18:21):

fitzgen submitted PR review.

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

alexcrichton merged PR #4436.


Last updated: Dec 23 2024 at 12:05 UTC