Stream: git-wasmtime

Topic: wasmtime / PR #3856 ISLE: port fmin, fmax, fmin_pseudo, f...


view this post on Zulip Wasmtime GitHub notifications bot (Feb 26 2022 at 05:28):

cfallin opened PR #3856 from isle-min-max to main:

The min/max sequences were a bit difficult to wrap my head around, so please let me know if the descriptive comments are inaccurate at all -- I tried to add a bit more detail (e.g. not just "propagate discrepancies" but why the lowering works).

Stacks on top of #3848, #3849, #3855; only last commit is new.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 26 2022 at 05:28):

cfallin requested abrown for a review on PR #3856.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 26 2022 at 05:28):

cfallin requested jlb6740 for a review on PR #3856.

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

fitzgen submitted PR review.

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

fitzgen submitted PR review.

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

fitzgen created PR review comment:

Great comments :)

view this post on Zulip Wasmtime GitHub notifications bot (Feb 28 2022 at 21:29):

cfallin updated PR #3856 from isle-min-max to main.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 28 2022 at 21:29):

cfallin updated PR #3856 from isle-min-max to main.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 28 2022 at 22:40):

cfallin merged PR #3856.


Last updated: Oct 23 2024 at 20:03 UTC