builtins « test - sail - Formal specification language for ISAs

Mode	Name	Size
-rw-r--r--	add_bits.sail	6109	log plain
-rw-r--r--	append.sail	11753	log plain
-rw-r--r--	clz.sail	247	log plain
-rw-r--r--	count_leading_zeros.sail	226	log plain
-rw-r--r--	div_int.sail	96048	log plain
-rw-r--r--	div_int2.sail	63141	log plain
-rw-r--r--	divmod.sail	1980	log plain
-rw-r--r--	get_slice_int.sail	44164	log plain
-rw-r--r--	mult_int.sail	130710	log plain
-rw-r--r--	myocamlbuild.ml	4462	log plain
-rw-r--r--	not_bool.sail	182	log plain
-rw-r--r--	replicate_bits.sail	8155	log plain
-rwxr-xr-x	run_tests.py	6925	log plain
-rw-r--r--	set_slice_bits.sail	86538	log plain
-rw-r--r--	shift.sail	460	log plain
-rw-r--r--	shl_int.sail	440	log plain
-rw-r--r--	signed.sail	95493	log plain
-rw-r--r--	slice_mask.sail	332	log plain
-rw-r--r--	sub_int.sail	7909	log plain
-rw-r--r--	test.v	353	log plain
-rw-r--r--	unsigned1.sail	92128	log plain
-rw-r--r--	unsigned2.sail	173888	log plain
-rw-r--r--	unsigned3.sail	75474	log plain
-rw-r--r--	unsigned4.sail	171241	log plain
-rw-r--r--	unsigned5.sail	113093	log plain
-rw-r--r--	unsigned6.sail	156309	log plain
-rw-r--r--	unsigned7.sail	94947	log plain
-rw-r--r--	unsigned8.sail	76926	log plain
-rw-r--r--	vector_update_subrange.sail	343	log plain
-rw-r--r--	zeros.sail	2228	log plain