Wasmtime GitHub notifications bot (Sep 03 2022 at 01:59): Wasmtime GitHub notifications bot (Sep 03 2022 at 01:59):jameysharp opened PR #4863 from cranelift-fuzzgen to main:
These are some steps I was taking toward a bigger refactoring of cranelift-fuzzgen, but this is as far as I got finished before other things came up. I think these are still improvements even without the bigger changes I wanted to make, so I'd like to get them merged.
I believe this PR should not change the input format for cranelift-fuzzgen or cranelift-icache and so should be fine to merge at any time.
cc: @afonso360
Wasmtime GitHub notifications bot (Sep 03 2022 at 01:59):jameysharp requested fitzgen for a review on PR #4863.
Wasmtime GitHub notifications bot (Sep 03 2022 at 02:01):jameysharp edited PR #4863 from cranelift-fuzzgen to main:
These are some steps I was taking toward a bigger refactoring of cranelift-fuzzgen, but this is as far as I got finished before other things came up. I think these are still improvements even without the bigger changes I wanted to make, so I'd like to get them merged.
I believe this PR should not change the input format for cranelift-fuzzgen or cranelift-icache and so should be fine to merge at any time.
cc: @afonso360
edit: I believe this will have merge conflicts with #4824. I'd probably prefer to merge that first and then fix this up rather than the other way around.
Wasmtime GitHub notifications bot (Sep 05 2022 at 08:27):afonso360 submitted PR review.
Wasmtime GitHub notifications bot (Sep 06 2022 at 18:12):fitzgen submitted PR review.
Wasmtime GitHub notifications bot (Sep 07 2022 at 18:26):jameysharp updated PR #4863 from cranelift-fuzzgen to main.
Wasmtime GitHub notifications bot (Sep 07 2022 at 19:19):jameysharp merged PR #4863.
Last updated: Nov 22 2024 at 16:03 UTC