David Harris 90c9f29beb Merge pull request #226 from SydRiley/main ... Increased coverage for the fpu by adding directed tests to toggle signals		2023-04-09 21:52:11 -07:00
..
csrwrites.S	Fixed csrwrites.S to agree with ImperasDV. Now coverage tests pass iter-elf	2023-04-07 21:11:01 -07:00
ebu.S
fpu.S	Increasing coverage for the fpu by adding directed tests to toggle signals	2023-04-09 13:33:12 -07:00
ieu.S	Fixed WALLY-init-lib to return correctly even from traps from compressed instructions	2023-04-07 20:24:33 -07:00
ifu.S	Fixed WALLY-init-lib to return correctly even from traps from compressed instructions	2023-04-07 20:24:33 -07:00
lsu.S	Add sfence.vma	2023-04-05 10:34:30 -07:00
Makefile	Started adding fpu fctrl tests	2023-03-28 21:13:25 -07:00
pmp.S	Create new pmp tests	2023-04-09 16:29:57 -07:00
priv.S	Added test coverage for floating point registers, some PMP addresses, as well as MTVAL and MCAUSE CSRs.	2023-04-08 16:40:36 -07:00
vm64check.S	Added vm64check tests to cover IMMU vm64	2023-04-07 21:14:52 -07:00
WALLY-init-lib.h	Fixed WALLY-init-lib to return correctly even from traps from compressed instructions	2023-04-07 20:24:33 -07:00