sail-riscv.git - Unnamed repository; edit this file 'description' to name the repository.

Age	Commit message (Expand)	Author	Files	Lines
2023-09-12	Remove effects	Tim Hutt	1	-1/+1
2023-08-01	Rename EXTZ and EXTS	Alasdair	1	-1/+1
2023-05-29	apply_headers: regenerate copyright headersupdate-copyright-headers	Philipp Tomsich	1	-1/+3
2021-07-29	Use headache to apply copyright header at request of Peter Sewell.	Robert Norton	1	-0/+68
2021-03-16	Initial implementation of new RVFI_DII socket format	Alex Richardson	1	-6/+1
2020-02-06	Initialize fdregs for rvfi.	Prashanth Mundkur	1	-0/+1
2019-07-19	Add a new pc access function to get the architectural PC: on CHERI this is no...master-cleanup	Robert Norton	1	-1/+1
2019-07-09	Add ext_rvfi_init to allow model to be initialised differently for rvfi.	Robert Norton	1	-0/+1
2019-06-27	Zero extend rather than sign extend rvfi-dii reports (usefull for 32 rvfi-dii...	Alexandre Joannou	1	-1/+1
2019-05-02	rvfi: fixes for RV32	Prashanth Mundkur	1	-1/+1
2019-05-02	rvfi: initialize registers between test runs.	Prashanth Mundkur	1	-0/+1
2019-04-24	Add extended model from cheri-merge.	Prashanth Mundkur	1	-0/+22