Stream: git-wasmtime

Topic: wasmtime / PR #5388 Fuzzing: add `use_egraphs` option bac...


view this post on Zulip Wasmtime GitHub notifications bot (Dec 06 2022 at 23:46):

cfallin opened PR #5388 from egraph-fuzzing to main:

This PR reverts #5128 (commit b3333bf9ea465a708b1504c10122d1626e13d5a9), adding back the ability for the fuzzing config generator to set the use_egraphs Cranelift option. This will start to fuzz the egraphs-based optimization framework again, now that #5382 has landed.

<!--

Please ensure that the following steps are all taken care of before submitting
the PR.

Please ensure all communication adheres to the code of conduct.
-->

view this post on Zulip Wasmtime GitHub notifications bot (Dec 06 2022 at 23:46):

cfallin requested fitzgen for a review on PR #5388.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 06 2022 at 23:46):

cfallin requested jameysharp for a review on PR #5388.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 06 2022 at 23:57):

alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 07 2022 at 00:01):

cfallin has enabled auto merge for PR #5388.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 07 2022 at 00:48):

cfallin merged PR #5388.


Last updated: Dec 23 2024 at 12:05 UTC