David Harris f36eb6f73d Added support for RV64GC coverage and fixed regression so that --fcov doesn't send --lockstep flag to wsim, which messed up wsim		2024-09-07 12:05:48 -07:00
..
config.vh	M implies Zmmul	2024-05-14 19:38:34 -07:00
coverage.svh	Added support for RV64GC coverage and fixed regression so that --fcov doesn't send --lockstep flag to wsim, which messed up wsim	2024-09-07 12:05:48 -07:00
imperas.ic	Added lockstep support for RV32. Not all wally privileged tests pass yet	2024-08-29 10:44:37 -07:00