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

Mode	Name	Size
-rw-r--r--	CMakeLists.txt	18259	log plain
-rw-r--r--	README.md	89	log plain
-rw-r--r--	arithmetic.sail	2466	log plain
-rw-r--r--	main.sail	2025	log plain
-rw-r--r--	prelude.sail	10760	log plain
-rw-r--r--	prelude_mem.sail	5956	log plain
-rw-r--r--	prelude_mem_addrtype.sail	1369	log plain
-rw-r--r--	prelude_mem_metadata.sail	996	log plain
-rw-r--r--	riscv.sail_project	6751	log plain
-rw-r--r--	riscv_addr_checks.sail	3151	log plain
-rw-r--r--	riscv_addr_checks_common.sail	2439	log plain
-rw-r--r--	riscv_callbacks.sail	3085	log plain
-rw-r--r--	riscv_csr_begin.sail	1319	log plain
-rw-r--r--	riscv_csr_end.sail	1253	log plain
-rw-r--r--	riscv_decode_ext.sail	1050	log plain
-rw-r--r--	riscv_device_tree.sail	7286	log plain
-rw-r--r--	riscv_errors.sail	1101	log plain
-rw-r--r--	riscv_ext_regs.sail	1173	log plain
-rw-r--r--	riscv_extensions.sail	20347	log plain
-rw-r--r--	riscv_fdext_control.sail	2531	log plain
-rw-r--r--	riscv_fdext_regs.sail	12667	log plain
-rw-r--r--	riscv_fetch.sail	2838	log plain
-rw-r--r--	riscv_fetch_rvfi.sail	2096	log plain
-rw-r--r--	riscv_flen.sail	1233	log plain
-rw-r--r--	riscv_freg_type.sail	3278	log plain
-rw-r--r--	riscv_inst_retire.sail	1719	log plain
-rw-r--r--	riscv_insts_base.sail	22667	log plain
-rw-r--r--	riscv_insts_begin.sail	1507	log plain
-rw-r--r--	riscv_insts_dext.sail	33378	log plain
-rw-r--r--	riscv_insts_end.sail	1596	log plain
-rw-r--r--	riscv_insts_fext.sail	34265	log plain
-rw-r--r--	riscv_insts_hext.sail	815	log plain
-rw-r--r--	riscv_insts_mext.sail	7688	log plain
-rw-r--r--	riscv_insts_reserved_fence.sail	1933	log plain
-rw-r--r--	riscv_insts_rmem.sail	1538	log plain
-rw-r--r--	riscv_insts_svinval.sail	2257	log plain
-rw-r--r--	riscv_insts_vext_arith.sail	94271	log plain
-rw-r--r--	riscv_insts_vext_fp.sail	55716	log plain
-rw-r--r--	riscv_insts_vext_fp_red.sail	5932	log plain
-rw-r--r--	riscv_insts_vext_fp_utils.sail	23921	log plain
-rw-r--r--	riscv_insts_vext_fp_vm.sail	5816	log plain
-rw-r--r--	riscv_insts_vext_mask.sail	12800	log plain
-rw-r--r--	riscv_insts_vext_mem.sail	33358	log plain
-rw-r--r--	riscv_insts_vext_red.sail	6429	log plain
-rw-r--r--	riscv_insts_vext_utils.sail	19960	log plain
-rw-r--r--	riscv_insts_vext_vm.sail	28940	log plain
-rw-r--r--	riscv_insts_vext_vset.sail	8790	log plain
-rw-r--r--	riscv_insts_zaamo.sail	6705	log plain
-rw-r--r--	riscv_insts_zalrsc.sail	3632	log plain
-rw-r--r--	riscv_insts_zawrs.sail	1386	log plain
-rw-r--r--	riscv_insts_zba.sail	3162	log plain
-rw-r--r--	riscv_insts_zbb.sail	11764	log plain
-rw-r--r--	riscv_insts_zbc.sail	2555	log plain
-rw-r--r--	riscv_insts_zbkb.sail	4255	log plain
-rw-r--r--	riscv_insts_zbkx.sail	2367	log plain
-rw-r--r--	riscv_insts_zbs.sail	4128	log plain
-rw-r--r--	riscv_insts_zca.sail	21117	log plain
-rw-r--r--	riscv_insts_zcb.sail	7826	log plain
-rw-r--r--	riscv_insts_zcd.sail	3321	log plain
-rw-r--r--	riscv_insts_zcf.sail	3421	log plain
-rw-r--r--	riscv_insts_zcmop.sail	1055	log plain
-rw-r--r--	riscv_insts_zfa.sail	28105	log plain
-rw-r--r--	riscv_insts_zfh.sail	31369	log plain
-rw-r--r--	riscv_insts_zicbom.sail	7462	log plain
-rw-r--r--	riscv_insts_zicboz.sail	3122	log plain
-rw-r--r--	riscv_insts_zicond.sail	1893	log plain
-rw-r--r--	riscv_insts_zicsr.sail	3156	log plain
-rw-r--r--	riscv_insts_zifencei.sail	1303	log plain
-rw-r--r--	riscv_insts_zimop.sail	1850	log plain
-rw-r--r--	riscv_insts_zkn.sail	18205	log plain
-rw-r--r--	riscv_insts_zks.sail	4029	log plain
-rw-r--r--	riscv_insts_zvbb.sail	23975	log plain
-rw-r--r--	riscv_insts_zvbc.sail	6251	log plain
-rw-r--r--	riscv_insts_zvkg.sail	3460	log plain
-rw-r--r--	riscv_insts_zvkned.sail	11470	log plain
-rw-r--r--	riscv_insts_zvknhab.sail	5200	log plain
-rw-r--r--	riscv_insts_zvksed.sail	4526	log plain
-rw-r--r--	riscv_insts_zvksh.sail	3590	log plain
-rw-r--r--	riscv_jalr_rmem.sail	1092	log plain
-rw-r--r--	riscv_jalr_seq.sail	1322	log plain
-rw-r--r--	riscv_mem.sail	11590	log plain
-rw-r--r--	riscv_misa_ext.sail	684	log plain
-rw-r--r--	riscv_model.sail	1307	log plain
-rw-r--r--	riscv_pc_access.sail	1441	log plain
-rw-r--r--	riscv_platform.sail	19451	log plain
-rw-r--r--	riscv_pmp_control.sail	4387	log plain
-rw-r--r--	riscv_pmp_regs.sail	11188	log plain
-rw-r--r--	riscv_reg_type.sail	1024	log plain
-rw-r--r--	riscv_regs.sail	6278	log plain
-rw-r--r--	riscv_smcntrpmf.sail	2950	log plain
-rw-r--r--	riscv_softfloat_interface.sail	23284	log plain
-rw-r--r--	riscv_sscofpmf.sail	4480	log plain
-rw-r--r--	riscv_sstc.sail	1582	log plain
-rw-r--r--	riscv_step.sail	11031	log plain
-rw-r--r--	riscv_step_common.sail	2299	log plain
-rw-r--r--	riscv_step_ext.sail	907	log plain
-rw-r--r--	riscv_sync_exception.sail	865	log plain
-rw-r--r--	riscv_sys_control.sail	14343	log plain
-rw-r--r--	riscv_sys_exceptions.sail	3753	log plain
-rw-r--r--	riscv_sys_regs.sail	33981	log plain
-rw-r--r--	riscv_sys_reservation.sail	1714	log plain
-rw-r--r--	riscv_termination.sail	3648	log plain
-rw-r--r--	riscv_types.sail	10690	log plain
-rw-r--r--	riscv_types_common.sail	669	log plain
-rw-r--r--	riscv_types_ext.sail	3300	log plain
-rw-r--r--	riscv_types_kext.sail	15554	log plain
-rw-r--r--	riscv_validate_config.sail	5135	log plain
-rw-r--r--	riscv_vext_control.sail	7848	log plain
-rw-r--r--	riscv_vext_regs.sail	9731	log plain
-rw-r--r--	riscv_vext_types.sail	1691	log plain
-rw-r--r--	riscv_vlen.sail	1248	log plain
-rw-r--r--	riscv_vmem.sail	15709	log plain
-rw-r--r--	riscv_vmem_pte.sail	7041	log plain
-rw-r--r--	riscv_vmem_ptw.sail	2979	log plain
-rw-r--r--	riscv_vmem_tlb.sail	6611	log plain
-rw-r--r--	riscv_vmem_types.sail	1933	log plain
-rw-r--r--	riscv_vmem_utils.sail	9871	log plain
-rw-r--r--	riscv_vreg_type.sail	5570	log plain
-rw-r--r--	riscv_xlen.sail	1764	log plain
-rw-r--r--	riscv_zicntr_control.sail	3508	log plain
-rw-r--r--	riscv_zihpm.sail	13975	log plain
-rw-r--r--	riscv_zkr_control.sail	2238	log plain
-rw-r--r--	riscv_zvk_utils.sail	6287	log plain
-rw-r--r--	rvfi_dii.sail	12165	log plain
-rw-r--r--	rvfi_dii_v1.sail	4684	log plain
-rw-r--r--	rvfi_dii_v2.sail	3586	log plain
d---------	unit_tests	45	log plain