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	3297	log plain
d---------	coq	707	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	6190	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	3558	log plain
-rw-r--r--	rts.c	14333	log plain
-rw-r--r--	rts.h	4652	log plain
-rw-r--r--	sail.c	34858	log plain
-rw-r--r--	sail.h	13448	log plain
-rw-r--r--	sail.tex	1033	log plain
-rw-r--r--	smt.sail	699	log plain
-rw-r--r--	string.sail	857	log plain
-rw-r--r--	trace.sail	317	log plain
-rw-r--r--	vector_dec.sail	7050	log plain
-rw-r--r--	vector_inc.sail	4452	log plain