c « test - sail - Formal specification language for ISAs

Mode	Name	Size
-rw-r--r--	and_block.expect	2	log plain
-rw-r--r--	and_block.sail	202	log plain
-rw-r--r--	anf_block.expect	3	log plain
-rw-r--r--	anf_block.sail	158	log plain
-rw-r--r--	assign_rename_bug.expect	448	log plain
-rw-r--r--	assign_rename_bug.sail	763	log plain
-rw-r--r--	bitvector.expect	202	log plain
-rw-r--r--	bitvector.sail	707	log plain
-rw-r--r--	bool_bits_mapping.expect	6	log plain
-rw-r--r--	bool_bits_mapping.sail	391	log plain
-rw-r--r--	bv_literal.expect	8	log plain
-rw-r--r--	bv_literal.sail	243	log plain
-rw-r--r--	cfold_reg.expect	5	log plain
-rw-r--r--	cfold_reg.sail	499	log plain
-rw-r--r--	cheri128_hsb.expect	0	log plain
-rw-r--r--	cheri128_hsb.sail	2151	log plain
-rw-r--r--	cheri_capreg.expect	2673	log plain
-rw-r--r--	cheri_capreg.sail	7102	log plain
-rw-r--r--	cheri_capstruct_order.expect	3	log plain
-rw-r--r--	cheri_capstruct_order.sail	511	log plain
-rw-r--r--	config.expect	42	log plain
-rw-r--r--	config.sail	553	log plain
-rw-r--r--	config_register.expect	15	log plain
-rw-r--r--	config_register.sail	304	log plain
-rw-r--r--	custom_flow.expect	10	log plain
-rw-r--r--	custom_flow.sail	910	log plain
-rw-r--r--	downcast_fn.expect	3	log plain
-rw-r--r--	downcast_fn.sail	323	log plain
-rw-r--r--	enum_match.expect	2	log plain
-rw-r--r--	enum_match.sail	381	log plain
-rw-r--r--	eq_struct.expect	3	log plain
-rw-r--r--	eq_struct.sail	761	log plain
-rw-r--r--	exception.expect	64	log plain
-rw-r--r--	exception.sail	1014	log plain
-rw-r--r--	execute.isail	45	log plain
-rw-r--r--	fallthrough_exception.expect	3	log plain
-rw-r--r--	fallthrough_exception.sail	283	log plain
-rw-r--r--	for_shadow.expect	24	log plain
-rw-r--r--	for_shadow.sail	165	log plain
-rw-r--r--	foreach_none.expect	3	log plain
-rw-r--r--	foreach_none.sail	167	log plain
-rw-r--r--	gvector.expect	36	log plain
-rw-r--r--	gvector.sail	559	log plain
-rw-r--r--	gvectorlit.expect	24	log plain
-rw-r--r--	gvectorlit.sail	206	log plain
-rw-r--r--	if_opt_typ.expect	48	log plain
-rw-r--r--	if_opt_typ.sail	286	log plain
-rw-r--r--	implicits.expect	190	log plain
-rw-r--r--	implicits.sail	1291	log plain
-rw-r--r--	large_bitvector.expect	481	log plain
-rw-r--r--	large_bitvector.sail	838	log plain
d---------	lbuild	76	log plain
-rw-r--r--	letbind.expect	53	log plain
-rw-r--r--	letbind.sail	366	log plain
-rw-r--r--	list_test.expect	38	log plain
-rw-r--r--	list_test.sail	533	log plain
-rw-r--r--	loop_exception.expect	192	log plain
-rw-r--r--	loop_exception.sail	3689	log plain
-rw-r--r--	mapping.expect	8	log plain
-rw-r--r--	mapping.sail	197	log plain
-rw-r--r--	nexp_synonym.expect	15	log plain
-rw-r--r--	nexp_synonym.sail	159	log plain
-rw-r--r--	non_unique.expect	3	log plain
-rw-r--r--	non_unique.sail	307	log plain
-rw-r--r--	nonexistent_pragma.expect	5	log plain
-rw-r--r--	nonexistent_pragma.sail	171	log plain
-rw-r--r--	option.expect	22	log plain
-rw-r--r--	option.sail	760	log plain
-rw-r--r--	option_nest.expect	5	log plain
-rw-r--r--	option_nest.sail	300	log plain
-rw-r--r--	pattern_concat_nest.expect	29	log plain
-rw-r--r--	pattern_concat_nest.sail	1305	log plain
-rw-r--r--	pointer_assign.expect	45	log plain
-rw-r--r--	pointer_assign.sail	601	log plain
-rw-r--r--	poly_pair.expect	2	log plain
-rw-r--r--	poly_pair.sail	354	log plain
-rw-r--r--	poly_simple.expect	14	log plain
-rw-r--r--	poly_simple.sail	231	log plain
-rw-r--r--	poly_tup.expect	9	log plain
-rw-r--r--	poly_tup.sail	312	log plain
-rw-r--r--	poly_union.expect	4	log plain
-rw-r--r--	poly_union.sail	427	log plain
-rw-r--r--	poly_union_rev.expect	4	log plain
-rw-r--r--	poly_union_rev.sail	427	log plain
-rw-r--r--	prelude.expect	0	log plain
-rw-r--r--	prelude.sail	90	log plain
-rw-r--r--	read_write_ram.expect	3	log plain
-rw-r--r--	read_write_ram.sail	924	log plain
-rw-r--r--	real.expect	182	log plain
-rw-r--r--	real.sail	505	log plain
-rw-r--r--	real_prop.expect	145	log plain
-rw-r--r--	real_prop.sail	2199	log plain
-rw-r--r--	reg_32_64.expect	38	log plain
-rw-r--r--	reg_32_64.sail	896	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.py	4597	log plain
-rw-r--r--	shadow_let.expect	18	log plain
-rw-r--r--	shadow_let.sail	214	log plain
-rw-r--r--	short_circuit.expect	3	log plain
-rw-r--r--	short_circuit.sail	339	log plain
-rw-r--r--	single_arg.expect	2	log plain
-rw-r--r--	single_arg.sail	190	log plain
-rw-r--r--	small_slice.expect	22	log plain
-rw-r--r--	small_slice.sail	355	log plain
-rw-r--r--	special_annot.expect	7	log plain
-rw-r--r--	special_annot.sail	292	log plain
-rw-r--r--	stack_struct.expect	6	log plain
-rw-r--r--	stack_struct.sail	443	log plain
-rw-r--r--	string_of_bits.expect	174	log plain
-rw-r--r--	string_of_bits.sail	531	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--	tl_poly_match.expect	4	log plain
-rw-r--r--	tl_poly_match.sail	243	log plain
-rw-r--r--	tuple_conversion.expect	12	log plain
-rw-r--r--	tuple_conversion.sail	272	log plain
-rw-r--r--	unroll.expect	79	log plain
-rw-r--r--	unroll.sail	758	log plain
-rw-r--r--	vmatch.expect	33	log plain
-rw-r--r--	vmatch.sail	510	log plain