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

Mode	Name	Size
-rw-r--r--	main.sail	597	log plain
-rw-r--r--	main_rvfi.sail	3670	log plain
-rw-r--r--	prelude.sail	18170	log plain
-rw-r--r--	prelude_mapping.sail	25129	log plain
-rw-r--r--	riscv_analysis.sail	8597	log plain
-rw-r--r--	riscv_csr_map.sail	4419	log plain
-rw-r--r--	riscv_duopod.sail	2320	log plain
-rw-r--r--	riscv_insts_aext.sail	9804	log plain
-rw-r--r--	riscv_insts_base.sail	23545	log plain
-rw-r--r--	riscv_insts_begin.sail	512	log plain
-rw-r--r--	riscv_insts_cext.sail	19226	log plain
-rw-r--r--	riscv_insts_end.sail	1129	log plain
-rw-r--r--	riscv_insts_mext.sail	6403	log plain
-rw-r--r--	riscv_insts_next.sail	477	log plain
-rw-r--r--	riscv_insts_rmem.sail	857	log plain
-rw-r--r--	riscv_insts_zicsr.sail	5918	log plain
-rw-r--r--	riscv_jalr_rmem.sail	408	log plain
-rw-r--r--	riscv_jalr_seq.sail	686	log plain
-rw-r--r--	riscv_mem.sail	11297	log plain
-rw-r--r--	riscv_next_control.sail	2111	log plain
-rw-r--r--	riscv_next_regs.sail	2765	log plain
-rw-r--r--	riscv_platform.sail	11472	log plain
-rw-r--r--	riscv_step.sail	4357	log plain
-rw-r--r--	riscv_sys_control.sail	15907	log plain
-rw-r--r--	riscv_sys_regs.sail	14458	log plain
-rw-r--r--	riscv_termination.sail	1126	log plain
-rw-r--r--	riscv_types.sail	12744	log plain
-rw-r--r--	riscv_vmem.sail	14312	log plain
-rw-r--r--	rvfi_dii.sail	5337	log plain