Merge branch 'main' of github.com:davidharrishmc/riscv-wally into main

This commit is contained in:
Ross Thompson 2022-12-01 22:36:07 -06:00
commit 33e4361de5
2 changed files with 2 additions and 1 deletions

View File

@ -1,2 +1,2 @@
vsim -do "do wally-pipelined.do rv32gc arch32m"
vsim -do "do wally-pipelined.do rv64gc arch64d"

View File

@ -470,6 +470,7 @@ string imperas32f[] = '{
string imperas64d[] = '{
`IMPERASTEST,
"rv64i_m/D/FDIV-D-DYN-RDN-01",
"rv64i_m/D/FADD-D-DYN-RDN-01",
"rv64i_m/D/FADD-D-DYN-RMM-01",
"rv64i_m/D/FADD-D-DYN-RNE-01",