040000 tree f9b419db347357400b575ed43e56576fca6807f0	fwrisc_decode_formal
040000 tree 403764e0e95ad90c98488175267c36ad52d576a2	fwrisc_exec_formal
040000 tree 406617b7337c1e42ee09622b60a5b0f008b8d442	fwrisc_fetch_formal
040000 tree 20d3bb7699c5fed3f943bb671f9bb17576a5704c	fwrisc_formal
040000 tree 9b3f6f34555346092050bb9be7bbf65a853f435b	fwrisc_mem_formal
040000 tree c62172b5fc9ffbb53602d96bcc38f01ee11e9463	fwrisc_mul_div_shift_formal
040000 tree 28060499ae15c2040624adcc29300ba2ebc0c4fb	fwrisc_rv32e
040000 tree 4ebaba0f462bc4a55dd6808d8f3138e02258af27	fwrisc_rv32i
040000 tree 95d326e0f6a1af202fe9311f05e7d51bb963a09c	fwrisc_rv32imc
040000 tree 5e466ecc5b83d799fd4d76a366022ee81d299b4f	fwrisc_rv32imc_fpga
040000 tree 97db5c963f7a2426524655d9c967fda0fe872f93	fwrisc_tracer_bfm
100644 blob 2e56167d7a745906ccf1a426b3013198ce060fb5	sve.F
040000 tree e2339dd52916df14802f155f9f89162bb7ea6e3d	testlists
100644 blob 5973bc77f8560690b69de45e7fb96bfa21628fff	ve.F