src - sail - Formal specification language for ISAs

Mode	Name	Size
-rw-r--r--	.merlin	69	log plain
-rw-r--r--	LICENCE	1759	log plain
-rw-r--r--	Makefile	12374	log plain
-rw-r--r--	Makefile-non-opam	9713	log plain
-rw-r--r--	_tags	406	log plain
-rw-r--r--	ast.ml	19689	log plain
d---------	contrib	39	log plain
-rwxr-xr-x	demo.sh	1083	log plain
-rw-r--r--	finite_map.ml	11115	log plain
d---------	gen_lib	297	log plain
-rw-r--r--	initial_check.ml	52097	log plain
-rw-r--r--	initial_check.mli	4276	log plain
-rw-r--r--	initial_check_full_ast.ml	41661	log plain
-rw-r--r--	initial_check_full_ast.mli	4184	log plain
d---------	lem_interp	823	log plain
-rw-r--r--	lexer.mll	17903	log plain
-rw-r--r--	myocamlbuild.ml	5627	log plain
-rw-r--r--	nexp_functions	2215	log plain
-rw-r--r--	parse_ast.ml	16077	log plain
-rw-r--r--	parser.mly	44575	log plain
-rw-r--r--	pp.ml	4293	log plain
-rw-r--r--	pp.mli	4047	log plain
d---------	pprint	169	log plain
-rw-r--r--	pre_lexer.mll	11908	log plain
-rw-r--r--	pre_parser.mly	4266	log plain
-rw-r--r--	pretty_print.ml	3911	log plain
-rw-r--r--	pretty_print.mli	4387	log plain
-rw-r--r--	pretty_print_common.ml	11688	log plain
-rw-r--r--	pretty_print_lem.ml	57344	log plain
-rw-r--r--	pretty_print_lem_ast.ml	36957	log plain
-rw-r--r--	pretty_print_ocaml.ml	38380	log plain
-rw-r--r--	pretty_print_sail.ml	26661	log plain
-rw-r--r--	pretty_print_t_ascii.ml	8521	log plain
-rw-r--r--	process_file.ml	13963	log plain
-rw-r--r--	process_file.mli	5304	log plain
-rw-r--r--	reporting_basic.ml	12258	log plain
-rw-r--r--	reporting_basic.mli	6394	log plain
-rw-r--r--	rewriter.ml	105389	log plain
-rw-r--r--	rewriter.mli	9679	log plain
-rw-r--r--	sail.ml	7977	log plain
-rw-r--r--	sail.odocl	153	log plain
-rw-r--r--	sail_lib.ml	5178	log plain
-rw-r--r--	spec_analysis.ml	32304	log plain
-rw-r--r--	spec_analysis.mli	5305	log plain
d---------	test	832	log plain
-rw-r--r--	type_check.ml	154478	log plain
-rw-r--r--	type_check.mli	4093	log plain
-rw-r--r--	type_internal.ml	224039	log plain
-rw-r--r--	type_internal.mli	18199	log plain
-rw-r--r--	util.ml	13342	log plain
-rw-r--r--	util.mli	10178	log plain