afonso360 opened PR #5615 from fuzz-riscv64-insts to main:
:wave: Hey,
This enables some instructions in fuzzgen that were recently fixed (thanks!)
cc: #5595 #5603
fitzgen submitted PR review.
fitzgen merged PR #5615.
Last updated: Feb 24 2026 at 05:28 UTC