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

Mode	Name	Size
-rw-r--r--	addr_checks.sail	2020	log plain
-rw-r--r--	addr_checks_common.sail	910	log plain
-rw-r--r--	arithmetic.sail	2813	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	28520	log plain
-rw-r--r--	flen.sail	986	log plain
-rw-r--r--	float_classify.sail	2184	log plain
-rw-r--r--	mem_addrtype.sail	1118	log plain
-rw-r--r--	mem_metadata.sail	750	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	3578	log plain
-rw-r--r--	range_util.sail	2342	log plain
-rw-r--r--	reg_type.sail	714	log plain
-rw-r--r--	regs.sail	6019	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	3229	log plain
-rw-r--r--	softfloat_interface.sail	10638	log plain
-rw-r--r--	sys_regs.sail	35003	log plain
-rw-r--r--	types.sail	11682	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	1669	log plain
-rw-r--r--	xlen.sail	1517	log plain