pass « typecheck « test - sail - Formal specification language for ISAs

Mode	Name	Size
-rw-r--r--	Replicate.sail	330	log plain
d---------	Replicate	144	log plain
-rw-r--r--	add_real.sail	96	log plain
-rw-r--r--	add_vec_exts_no_annot.sail	456	log plain
-rw-r--r--	add_vec_exts_no_annot_overload.sail	448	log plain
-rw-r--r--	add_vec_lit.sail	485	log plain
-rw-r--r--	anon_rec.sail	251	log plain
-rw-r--r--	arm_FPEXC1.sail	2109	log plain
-rw-r--r--	arm_types.sail	3062	log plain
-rw-r--r--	as_pattern.sail	54	log plain
-rw-r--r--	assignment_simple.sail	181	log plain
-rw-r--r--	atomcase.sail	406	log plain
-rw-r--r--	bind_typ_var.sail	499	log plain
-rw-r--r--	bitfield_pc.sail	117	log plain
-rw-r--r--	bitvector_param.sail	263	log plain
-rw-r--r--	bitwise_not.sail	225	log plain
-rw-r--r--	bitwise_not_gen.sail	254	log plain
-rw-r--r--	bitwise_not_x3.sail	251	log plain
-rw-r--r--	bool_bits_mapping.sail	122	log plain
-rw-r--r--	bool_constraint.sail	1253	log plain
d---------	bool_constraint	288	log plain
-rw-r--r--	bv_simple_index_bit.sail	343	log plain
-rw-r--r--	case_simple1.sail	129	log plain
-rw-r--r--	case_simple2.sail	141	log plain
-rw-r--r--	cast_lexp1.sail	67	log plain
-rw-r--r--	cast_lexp2.sail	67	log plain
-rw-r--r--	cast_simple.sail	88	log plain
-rw-r--r--	commentfix.sail	49	log plain
-rw-r--r--	complex_exist_sat.sail	145	log plain
d---------	complex_exist_sat	144	log plain
-rw-r--r--	cons_pattern.sail	92	log plain
-rw-r--r--	cons_pattern_synonym.sail	119	log plain
-rw-r--r--	constant_nexp.sail	337	log plain
d---------	constant_nexp	144	log plain
-rw-r--r--	constrained_struct.sail	230	log plain
d---------	constrained_struct	72	log plain
-rw-r--r--	constraint_ctor.sail	486	log plain
d---------	constraint_ctor	360	log plain
-rw-r--r--	custom_flow.sail	910	log plain
-rw-r--r--	dec_prelude.sail	43	log plain
-rw-r--r--	decode_patterns.sail	558	log plain
-rw-r--r--	default_order.sail	18	log plain
-rw-r--r--	deinfix_plus.sail	302	log plain
-rw-r--r--	enum_cast.sail	266	log plain
-rw-r--r--	enum_map.sail	374	log plain
d---------	enum_map	360	log plain
-rw-r--r--	ex_cast.sail	178	log plain
-rw-r--r--	execute_decode_hard.sail	529	log plain
-rw-r--r--	exint.sail	443	log plain
-rw-r--r--	exist1.sail	504	log plain
-rw-r--r--	exist2.sail	906	log plain
-rw-r--r--	exist_simple.sail	176	log plain
-rw-r--r--	exist_subrange.sail	303	log plain
-rw-r--r--	exist_synonym.sail	266	log plain
d---------	exist_synonym	288	log plain
-rw-r--r--	exist_tlb.sail	2668	log plain
-rw-r--r--	exist_true.sail	117	log plain
-rw-r--r--	existential_ast.sail	1360	log plain
d---------	existential_ast	216	log plain
-rw-r--r--	existential_ast2.sail	648	log plain
-rw-r--r--	existential_ast3.sail	1365	log plain
d---------	existential_ast3	432	log plain
-rw-r--r--	exit1.sail	83	log plain
-rw-r--r--	exit2.sail	72	log plain
-rw-r--r--	exit3.sail	87	log plain
-rw-r--r--	floor_pow2.sail	361	log plain
-rw-r--r--	flow_gt1.sail	141	log plain
-rw-r--r--	flow_gteq1.sail	142	log plain
-rw-r--r--	flow_lt1.sail	141	log plain
-rw-r--r--	flow_lt2.sail	139	log plain
-rw-r--r--	flow_lteq1.sail	130	log plain
-rw-r--r--	foreach_var_updates.sail	373	log plain
-rw-r--r--	fpthreesimp.sail	456	log plain
-rw-r--r--	function_namespace.sail	128	log plain
d---------	function_namespace	72	log plain
-rw-r--r--	global_type_var.sail	342	log plain
d---------	global_type_var	216	log plain
-rw-r--r--	guards.sail	247	log plain
-rw-r--r--	if_infer.sail	191	log plain
d---------	if_infer	216	log plain
-rw-r--r--	if_return.sail	174	log plain
-rw-r--r--	if_var_updates.sail	509	log plain
-rw-r--r--	implicits.sail	1291	log plain
d---------	implicits	144	log plain
-rw-r--r--	inc_prelude.sail	43	log plain
-rw-r--r--	inline_typ.sail	83	log plain
-rw-r--r--	int_synonym.sail	493	log plain
-rw-r--r--	let_subtyp_bug.sail	97	log plain
-rw-r--r--	lexp_vec.sail	346	log plain
d---------	lexp_vec	144	log plain
-rw-r--r--	list_cons.sail	60	log plain
-rw-r--r--	list_cons2.sail	222	log plain
-rw-r--r--	list_lit.sail	42	log plain
-rw-r--r--	lt_flow.sail	129	log plain
-rw-r--r--	mapping_rreg.sail	265	log plain
-rw-r--r--	modify_assignment1.sail	94	log plain
-rw-r--r--	modify_type_chain.sail	108	log plain
-rw-r--r--	mutrec.sail	220	log plain
-rw-r--r--	nat_set.sail	101	log plain
-rw-r--r--	new_bitfields.sail	202	log plain
-rw-r--r--	nexp_synonym.sail	159	log plain
d---------	nexp_synonym	144	log plain
-rw-r--r--	nexp_synonym2.sail	230	log plain
-rw-r--r--	nlflow.sail	286	log plain
-rw-r--r--	nonexistent_pragma.sail	171	log plain
-rw-r--r--	not_pattern.sail	154	log plain
d---------	not_pattern	72	log plain
-rw-r--r--	nzcv.sail	360	log plain
-rw-r--r--	option_either.sail	549	log plain
-rw-r--r--	option_tuple.sail	291	log plain
-rw-r--r--	overlap_field.sail	237	log plain
-rw-r--r--	overload_plus.sail	298	log plain
-rw-r--r--	pat_completeness.sail	199	log plain
-rw-r--r--	patternrefinement.sail	836	log plain
-rw-r--r--	phantom_num.sail	317	log plain
-rw-r--r--	plus_one_unify.sail	87	log plain
-rw-r--r--	poly_list.sail	433	log plain
-rw-r--r--	poly_vector.sail	517	log plain
d---------	poly_vector	144	log plain
-rw-r--r--	pow_32_64.sail	235	log plain
-rw-r--r--	procstate1.sail	338	log plain
-rw-r--r--	pure_record.sail	433	log plain
-rw-r--r--	pure_record2.sail	458	log plain
-rw-r--r--	pure_record3.sail	524	log plain
-rw-r--r--	real.sail	19	log plain
-rw-r--r--	recursion.sail	283	log plain
-rw-r--r--	reg_32_64.sail	896	log plain
d---------	reg_32_64	216	log plain
-rw-r--r--	reg_list.sail	103	log plain
-rw-r--r--	reg_mod.sail	124	log plain
-rw-r--r--	reg_option.sail	258	log plain
-rw-r--r--	reg_ref.sail	224	log plain
-rw-r--r--	repeat_constraint.sail	134	log plain
d---------	repeat_constraint	72	log plain
-rw-r--r--	return_simple1.sail	115	log plain
-rw-r--r--	return_simple2.sail	154	log plain
-rw-r--r--	return_simple3.sail	226	log plain
-rw-r--r--	return_simple4.sail	104	log plain
-rw-r--r--	shadow_let.sail	237	log plain
d---------	shadow_let	72	log plain
-rw-r--r--	short_circuit_bool_ex.sail	608	log plain
d---------	short_circuit_bool_ex	72	log plain
-rw-r--r--	simple_record_access.sail	274	log plain
-rw-r--r--	simple_scattered.sail	464	log plain
-rw-r--r--	single_enum.sail	153	log plain
-rw-r--r--	single_union.sail	169	log plain
-rw-r--r--	tautology.sail	1778	log plain
-rw-r--r--	true_false.sail	216	log plain
-rw-r--r--	type_pow_zero.sail	329	log plain
-rw-r--r--	tyvar_shadow.sail	292	log plain
-rw-r--r--	union_infer.sail	162	log plain
-rw-r--r--	union_recf_ok.sail	32	log plain
-rw-r--r--	varity.sail	271	log plain
-rw-r--r--	vec_length.sail	157	log plain
d---------	vec_length	376	log plain
-rw-r--r--	vec_length_inc.sail	157	log plain
-rw-r--r--	vec_pat1.sail	897	log plain
-rw-r--r--	vector_access.sail	402	log plain
-rw-r--r--	vector_access_dec.sail	410	log plain
-rw-r--r--	vector_append.sail	366	log plain
-rw-r--r--	vector_append_gen.sail	373	log plain
-rw-r--r--	vector_subrange_gen.sail	613	log plain
-rw-r--r--	wf_specs.sail	362	log plain
d---------	wf_specs	84	log plain
-rw-r--r--	while_MM.sail	687	log plain
-rw-r--r--	while_MP.sail	331	log plain
-rw-r--r--	while_PM.sail	991	log plain
-rw-r--r--	while_PP.sail	715	log plain
-rw-r--r--	zero_length_bv.sail	245	log plain