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

Age	Commit message (Expand)	Author	Files	Lines
2024-03-24	Replace atom with int	Tim Hutt	1	-1/+1
2024-02-08	Shorten copyright notice at the top of each file	Tim Hutt	1	-65/+3
2024-01-31	Update bitfield syntax	Alasdair	1	-39/+39
2023-09-12	Remove effects	Tim Hutt	1	-11/+11
2023-08-01	Rename EXTZ and EXTS	Alasdair	1	-7/+7
2023-06-15	Run the pre-commit hook on all files	Alex Richardson	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	Fix sending version2 trace optional data	Alex Richardson	1	-6/+16
2021-03-16	Improvements to the version 2 RVFI trace format	Alex Richardson	1	-47/+57
2021-03-16	Fix missing rvfi_halt field when converting v2 to v1 RVFI trace format	Alex Richardson	1	-0/+1
2021-03-16	Add a -v rvfi flag to add RVFI debug logging	Alex Richardson	1	-3/+3
2021-03-16	Initial implementation of new RVFI_DII socket format	Alex Richardson	1	-27/+222
2019-05-02	rvfi: fix mask encoding	Prashanth Mundkur	1	-0/+5
2019-03-07	Get rvfi building again.	Prashanth Mundkur	1	-1/+1
2019-01-14	Reorganize directory structure.	Prashanth Mundkur	1	-0/+98