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	4053	log plain
d---------	coq	793	log plain
d---------	coverage	104	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
-rw-r--r--	generic_equality.sail	442	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	5151	log plain
-rw-r--r--	mapping.sail	2418	log plain
-rw-r--r--	mono_rewrites.sail	8450	log plain
-rw-r--r--	myocamlbuild_coverage.ml	115	log plain
d---------	nostd	336	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	6089	log plain
-rw-r--r--	reverse_endianness.sail	1053	log plain
-rw-r--r--	rts.c	14350	log plain
-rw-r--r--	rts.h	4360	log plain
-rw-r--r--	sail.c	35919	log plain
-rw-r--r--	sail.h	13896	log plain
-rw-r--r--	sail.tex	1033	log plain
-rw-r--r--	sail_coverage.h	443	log plain
-rw-r--r--	sail_failure.c	292	log plain
-rw-r--r--	sail_failure.h	406	log plain
-rw-r--r--	sail_state.h	108	log plain
-rw-r--r--	smt.sail	742	log plain
-rw-r--r--	string.sail	790	log plain
-rw-r--r--	trace.sail	317	log plain
-rw-r--r--	vector_dec.sail	7335	log plain
-rw-r--r--	vector_inc.sail	4476	log plain