Wasmtime GitHub notifications bot (Oct 13 2023 at 00:13): Wasmtime GitHub notifications bot (Oct 13 2023 at 00:13):cfallin commented on issue #7231:
The test failures exposed two issues surfaced by the new "default facts" (e.g., width-8 value is always <= 255), so I had to add a bit more reasoning. @fitzgen mind taking a look at the last commit?
Wasmtime GitHub notifications bot (Oct 13 2023 at 01:50):cfallin commented on issue #7231:
Ah -- automerge was still on and this went in with your r+, @fitzgen; still happy to take feedback on the approach in the last commit if you have any!
Last updated: Oct 23 2024 at 20:03 UTC