copy changes from ls006 -> int_fp_mv -- table changes are a separate commit
[libreriscv.git] / libera.txt
1 libera-verify-319178327