riscv - sail - Formal specification language for ISAs

Mode	Name	Size
-rw-r--r--	.gitignore	87	log plain
-rw-r--r--	Holmakefile	143	log plain
-rw-r--r--	Makefile	6647	log plain
-rw-r--r--	README	73	log plain
-rw-r--r--	ROOT	195	log plain
-rw-r--r--	_tags	161	log plain
-rw-r--r--	_tags.bisect	203	log plain
-rw-r--r--	coq.patch	14021	log plain
d---------	gen	879	log plain
-rw-r--r--	main.sail	597	log plain
-rw-r--r--	main_rvfi.sail	3670	log plain
-rw-r--r--	platform.ml	7373	log plain
-rw-r--r--	platform_impl.ml	6425	log plain
-rw-r--r--	platform_main.ml	6886	log plain
-rw-r--r--	prelude.sail	43832	log plain
-rw-r--r--	reset_vec.S	147	log plain
-rwxr-xr-x	reset_vec.bin	28	log plain
-rw-r--r--	riscv.sail	63642	log plain
-rw-r--r--	riscv_analysis.sail	8518	log plain
-rw-r--r--	riscv_config.h	169	log plain
-rw-r--r--	riscv_duopod.sail	2416	log plain
-rw-r--r--	riscv_extras.lem	7344	log plain
-rw-r--r--	riscv_extras.v	7029	log plain
-rw-r--r--	riscv_extras_sequential.lem	7344	log plain
-rw-r--r--	riscv_insts_begin.sail	512	log plain
-rw-r--r--	riscv_insts_end.sail	374	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	11190	log plain
-rw-r--r--	riscv_platform.c	1392	log plain
-rw-r--r--	riscv_platform.h	644	log plain
-rw-r--r--	riscv_platform.sail	11511	log plain
-rw-r--r--	riscv_platform_impl.c	815	log plain
-rw-r--r--	riscv_platform_impl.h	592	log plain
-rw-r--r--	riscv_prelude.c	561	log plain
-rw-r--r--	riscv_prelude.h	244	log plain
-rw-r--r--	riscv_sail.h	1251	log plain
-rw-r--r--	riscv_sim.c	17335	log plain
-rw-r--r--	riscv_step.sail	4243	log plain
-rw-r--r--	riscv_sys.sail	31266	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
-rw-r--r--	tracecmp.ml	8165	log plain