support for W=4 #56
olofk
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
formal.yml
on: push
Run RISCV-formal verification suite
6m 41s