Stream: git-wasmtime

Topic: wasmtime / PR #3007 Use hand written legalizations in sim...

view this post on Zulip Wasmtime GitHub notifications bot (Jun 20 2021 at 16:43):

bjorn3 opened PR #3007 from hand_written_legalization to main:

This allows removal of the legalization cdsl once the old backends are removed.

view this post on Zulip Wasmtime GitHub notifications bot (Jun 20 2021 at 16:43):

bjorn3 edited PR #3007 from hand_written_legalization to main:

This allows removal of the legalization dsl once the old backends are removed.

view this post on Zulip Wasmtime GitHub notifications bot (Jun 20 2021 at 16:44):

bjorn3 updated PR #3007 from hand_written_legalization to main.

view this post on Zulip Wasmtime GitHub notifications bot (Jun 20 2021 at 16:52):

bjorn3 updated PR #3007 from hand_written_legalization to main.

view this post on Zulip Wasmtime GitHub notifications bot (Jun 21 2021 at 16:59):

cfallin submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Jun 21 2021 at 16:59):

cfallin merged PR #3007.

Last updated: Nov 22 2024 at 17:03 UTC