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_as_pattern.expect	3	log plain
-rw-r--r--	anf_as_pattern.sail	313	log plain
-rw-r--r--	anf_block.expect	3	log plain
-rw-r--r--	anf_block.sail	158	log plain
-rw-r--r--	anon_rec.expect	3	log plain
-rw-r--r--	anon_rec.sail	251	log plain
-rw-r--r--	assign_rename_bug.expect	448	log plain
-rw-r--r--	assign_rename_bug.sail	737	log plain
-rw-r--r--	bitvector.expect	202	log plain
-rw-r--r--	bitvector.sail	703	log plain
-rw-r--r--	bitvector_update.expect	3	log plain
-rw-r--r--	bitvector_update.sail	233	log plain
-rw-r--r--	bitvector_update2.expect	3	log plain
-rw-r--r--	bitvector_update2.sail	248	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	239	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	6587	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--	dead_branch.expect	38	log plain
-rw-r--r--	dead_branch.sail	854	log plain
-rw-r--r--	downcast_fn.expect	3	log plain
-rw-r--r--	downcast_fn.sail	323	log plain
-rw-r--r--	empty_list.expect	14	log plain
-rw-r--r--	empty_list.sail	338	log plain
-rw-r--r--	encdec.expect	27	log plain
-rw-r--r--	encdec.sail	738	log plain
-rw-r--r--	enum_match.expect	2	log plain
-rw-r--r--	enum_match.sail	381	log plain
-rw-r--r--	enum_tup_match.expect	3	log plain
-rw-r--r--	enum_tup_match.sail	344	log plain
-rw-r--r--	eq_struct.expect	3	log plain
-rw-r--r--	eq_struct.sail	759	log plain
-rw-r--r--	exception.expect	87	log plain
-rw-r--r--	exception.sail	1277	log plain
-rw-r--r--	execute.isail	45	log plain
-rw-r--r--	extend_simple.expect	38	log plain
-rw-r--r--	extend_simple.sail	203	log plain
-rw-r--r--	fallthrough_exception.expect	3	log plain
-rw-r--r--	fallthrough_exception.sail	283	log plain
-rw-r--r--	fast_signed.expect	204	log plain
-rw-r--r--	fast_signed.sail	807	log plain
-rw-r--r--	flow_restrict.expect	3	log plain
-rw-r--r--	flow_restrict.sail	404	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	557	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--	int_struct.expect	2	log plain
-rw-r--r--	int_struct.sail	374	log plain
-rw-r--r--	int_struct_constrained.expect	2	log plain
-rw-r--r--	int_struct_constrained.sail	384	log plain
-rw-r--r--	issue37.expect	10	log plain
-rw-r--r--	issue37.sail	143	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--	match_bind.expect	9	log plain
-rw-r--r--	match_bind.sail	244	log plain
-rw-r--r--	nested_fields.expect	2	log plain
-rw-r--r--	nested_fields.sail	203	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	754	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	520	log plain
-rw-r--r--	pointer_assign.expect	45	log plain
-rw-r--r--	pointer_assign.sail	601	log plain
-rw-r--r--	poly_int_record.expect	15	log plain
-rw-r--r--	poly_int_record.sail	412	log plain
-rw-r--r--	poly_pair.expect	2	log plain
-rw-r--r--	poly_pair.sail	354	log plain
-rw-r--r--	poly_record.expect	3	log plain
-rw-r--r--	poly_record.sail	307	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	6559	log plain
-rw-r--r--	rv_duopod_bug.expect	42	log plain
-rw-r--r--	rv_duopod_bug.sail	221	log plain
-rw-r--r--	scattered_mapping.expect	3	log plain
-rw-r--r--	scattered_mapping.sail	383	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--	single_guard.expect	16	log plain
-rw-r--r--	single_guard.sail	232	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--	split.expect	3	log plain
-rw-r--r--	split.sail	941	log plain
-rw-r--r--	stack_struct.expect	6	log plain
-rw-r--r--	stack_struct.sail	441	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	434	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--	toplevel_tyvar.expect	3	log plain
-rw-r--r--	toplevel_tyvar.sail	235	log plain
-rw-r--r--	tuple_conversion.expect	12	log plain
-rw-r--r--	tuple_conversion.sail	272	log plain
-rw-r--r--	tuple_union.expect	231	log plain
-rw-r--r--	tuple_union.sail	737	log plain
-rw-r--r--	undefined_nat.expect	3	log plain
-rw-r--r--	undefined_nat.sail	170	log plain
-rw-r--r--	undefined_union.expect	3	log plain
-rw-r--r--	undefined_union.sail	145	log plain
-rw-r--r--	unroll.expect	79	log plain
-rw-r--r--	unroll.sail	758	log plain
-rw-r--r--	unused_poly_ctor.expect	11	log plain
-rw-r--r--	unused_poly_ctor.sail	293	log plain
-rw-r--r--	vmatch.expect	33	log plain
-rw-r--r--	vmatch.sail	510	log plain
-rw-r--r--	warl.expect	3	log plain
-rw-r--r--	warl.sail	561	log plain
-rw-r--r--	warl_undef.expect	3	log plain
-rw-r--r--	warl_undef.sail	525	log plain
-rw-r--r--	zero_length_bv.expect	3	log plain
-rw-r--r--	zero_length_bv.sail	245	log plain