Stream: git-wasmtime

Topic: wasmtime / issue #5808 egraphs: disable GVN of effectful ...

Wasmtime GitHub notifications bot (Feb 16 2023 at 21:02):

cfallin commented on issue #5808:

As a procedural note, we plan to get this in and backport it, and let main sit with this while holding off any merge of #5800 (the complete fix) until after the 6.0 release, because we want to maximize fuzzing time on the released state.

Last updated: Nov 22 2024 at 17:03 UTC