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

Mode	Name	Size
-rw-r--r--	addr_checks.sail	2019	log plain
-rw-r--r--	addr_checks_common.sail	910	log plain
-rw-r--r--	arithmetic.sail	2812	log plain
-rw-r--r--	callbacks.sail	4105	log plain
-rw-r--r--	csr_begin.sail	1065	log plain
-rw-r--r--	ext_regs.sail	891	log plain
-rw-r--r--	extensions.sail	30019	log plain
-rw-r--r--	flen.sail	986	log plain
-rw-r--r--	float_classify.sail	2184	log plain
-rw-r--r--	interrupt_regs.sail	7709	log plain
-rw-r--r--	mem_addrtype.sail	1118	log plain
-rw-r--r--	mem_metadata.sail	750	log plain
-rw-r--r--	mem_type_utils.sail	2626	log plain
-rw-r--r--	misa_ext.sail	437	log plain
-rw-r--r--	pc_access.sail	1022	log plain
-rw-r--r--	phys_mem_interface.sail	6069	log plain
-rw-r--r--	platform_config.sail	5009	log plain
-rw-r--r--	range_util.sail	2366	log plain
-rw-r--r--	reg_type.sail	714	log plain
-rw-r--r--	regs.sail	6015	log plain
-rw-r--r--	rvfi_dii.sail	11531	log plain
-rw-r--r--	rvfi_dii_v1.sail	4401	log plain
-rw-r--r--	rvfi_dii_v2.sail	3227	log plain
-rw-r--r--	softfloat_interface.sail	10638	log plain
-rw-r--r--	sys_regs.sail	29721	log plain
-rw-r--r--	types.sail	13226	log plain
-rw-r--r--	types_common.sail	759	log plain
-rw-r--r--	types_ext.sail	2842	log plain
-rw-r--r--	vlen.sail	1951	log plain
-rw-r--r--	vmem_types.sail	2378	log plain
-rw-r--r--	xlen.sail	1517	log plain