Stream: git-wasmtime

Topic: wasmtime / issue #5746 Cranelift: Generalize `(x << k) >>...


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

jameysharp commented on issue #5746:

Hey @cfallin, I think I've addressed all your review comments, but I also realized that I could generalize the rules even further, and added filetests. Could you give this another look? I'm also going to fuzz it for a bit.

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

jameysharp commented on issue #5746:

I fuzzed this with cranelift-fuzzgen on 1 million inputs over about 3 hours without finding any bugs, and I'd expect that fuzzer to be pretty good at finding bugs in these rules, so I feel pretty confident in this.


Last updated: Dec 23 2024 at 12:05 UTC