lib - sail - Formal specification language for ISAs

Mode	Name	Size
-rw-r--r--	_tags	136	log plain
-rw-r--r--	_tags_coverage	156	log plain
-rw-r--r--	arith.sail	3292	log plain
d---------	coq	844	log plain
-rw-r--r--	elf.c	23453	log plain
-rw-r--r--	elf.h	215	log plain
-rw-r--r--	elf.sail	327	log plain
-rw-r--r--	exception_basic.sail	84	log plain
-rw-r--r--	flow.sail	2434	log plain
d---------	hol	324	log plain
-rw-r--r--	instr_kinds.sail	738	log plain
d---------	int128	134	log plain
d---------	isabelle	486	log plain
-rw-r--r--	main.ml	5028	log plain
-rw-r--r--	mapping.sail	2418	log plain
-rw-r--r--	mono_rewrites.sail	6903	log plain
-rw-r--r--	myocamlbuild_coverage.ml	115	log plain
-rw-r--r--	option.sail	599	log plain
-rw-r--r--	prelude.sail	199	log plain
-rw-r--r--	prelude_wrappers.sail	8117	log plain
-rw-r--r--	real.sail	1065	log plain
-rw-r--r--	regfp.sail	3877	log plain
-rw-r--r--	reverse_endianness.sail	1053	log plain
-rw-r--r--	rts.c	14551	log plain
-rw-r--r--	rts.h	4630	log plain
-rw-r--r--	sail.c	35458	log plain
-rw-r--r--	sail.h	13556	log plain
-rw-r--r--	sail.tex	1033	log plain
-rw-r--r--	smt.sail	699	log plain
-rw-r--r--	string.sail	875	log plain
-rw-r--r--	trace.sail	317	log plain
-rw-r--r--	vector_dec.sail	7206	log plain
-rw-r--r--	vector_inc.sail	4378	log plain