c « test - sail - Formal specification language for ISAs

Mode	Name	Size
-rw-r--r--	bitvector.expect	202	log plain
-rw-r--r--	bitvector.sail	697	log plain
-rw-r--r--	bv_literal.expect	8	log plain
-rw-r--r--	bv_literal.sail	243	log plain
-rw-r--r--	enum_match.expect	2	log plain
-rw-r--r--	enum_match.sail	381	log plain
-rw-r--r--	exception.expect	64	log plain
-rw-r--r--	exception.sail	1014	log plain
-rw-r--r--	gvector.expect	36	log plain
-rw-r--r--	gvector.sail	380	log plain
-rw-r--r--	gvectorlit.expect	24	log plain
-rw-r--r--	gvectorlit.sail	206	log plain
-rw-r--r--	letbind.expect	53	log plain
-rw-r--r--	letbind.sail	366	log plain
-rw-r--r--	list.expect	38	log plain
-rw-r--r--	list.sail	521	log plain
-rw-r--r--	option.expect	22	log plain
-rw-r--r--	option.sail	738	log plain
-rw-r--r--	return_leak.expect	0	log plain
-rw-r--r--	return_leak.sail	136	log plain
-rwxr-xr-x	run_tests.sh	2034	log plain
-rw-r--r--	sail.h	20382	log plain
-rw-r--r--	short_circuit.expect	3	log plain
-rw-r--r--	short_circuit.sail	339	log plain
-rw-r--r--	struct.expect	68	log plain
-rw-r--r--	struct.sail	440	log plain
-rw-r--r--	tl_let.expect	14	log plain
-rw-r--r--	tl_let.sail	146	log plain
-rw-r--r--	tl_pat.expect	18	log plain
-rw-r--r--	tl_pat.sail	236	log plain
-rw-r--r--	vmatch.expect	33	log plain
-rw-r--r--	vmatch.sail	510	log plain