conrad-watt opened PR #3980 from verified_fuzzing_simd
to main
.
conrad-watt submitted PR review.
conrad-watt created PR review comment:
Is this the correct way to do this conversion? (from
Vec<u8>
tou128
)
conrad-watt edited PR #3980 from verified_fuzzing_simd
to main
.
conrad-watt edited PR review comment.
conrad-watt edited PR #3980 from verified_fuzzing_simd
to main
:
This PR adds support for enabling the
SIMD
feature when fuzzing with the OCaml reference interpreter.Still fuzzing locally but I'm putting up the PR now that obvious bugs have been squished.
conrad-watt updated PR #3980 from verified_fuzzing_simd
to main
.
alexcrichton submitted PR review.
alexcrichton created PR review comment:
indeed that works well!
alexcrichton submitted PR review.
alexcrichton merged PR #3980.
Last updated: Dec 23 2024 at 13:07 UTC