Stream: git-wasmtime

Topic: wasmtime / PR #3890 Relax restrictions in the differentia...


view this post on Zulip Wasmtime GitHub notifications bot (Mar 07 2022 at 16:35):

alexcrichton opened PR #3890 from relaxed-differential to main:

If either end stack overflows we can't validate the other side since the
other side, depending on codegen settings, may have been successful, hit
a different trap, or also stack overflowed.

<!--

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 (Mar 07 2022 at 16:36):

peterhuene submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 07 2022 at 17:35):

alexcrichton merged PR #3890.


Last updated: Oct 23 2024 at 20:03 UTC