Stream: git-wasmtime

Topic: wasmtime / PR #5687 egraph opts: Generalize existing rules

view this post on Zulip Wasmtime GitHub notifications bot (Feb 02 2023 at 02:10):

jameysharp opened PR #5687 from algebraic-generalize to main:

Here are a bunch of generalizations of existing optimization rules. In most cases I only generalized to support more types, but there are a couple more complicated things. I think these are all correct but I'm opening this as a draft PR to see if CI agrees.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 02 2023 at 02:10):

jameysharp requested itsrainy for a review on PR #5687.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 04 2023 at 02:52):

jameysharp closed without merge PR #5687.

Last updated: Nov 22 2024 at 16:03 UTC