mono « test - sail - Formal specification language for ISAs

Mode	Name	Size
-rw-r--r--	assert.sail	1158	log plain
-rw-r--r--	assert2.sail	381	log plain
-rw-r--r--	assign_range.sail	589	log plain
-rw-r--r--	atomsplit.sail	441	log plain
-rw-r--r--	builtins.sail	1690	log plain
-rwxr-xr-x	castreq.mk	316	log plain
-rw-r--r--	castreq.sail	4813	log plain
-rw-r--r--	castrequnion.sail	1634	log plain
-rw-r--r--	control_deps.sail	2291	log plain
-rw-r--r--	exint.sail	1786	log plain
-rw-r--r--	feature.sail	1657	log plain
-rw-r--r--	flow_extend.sail	501	log plain
-rw-r--r--	fnreduce.sail	1839	log plain
-rw-r--r--	itself_rewriting.sail	2943	log plain
-rw-r--r--	mapping.sail	262	log plain
-rw-r--r--	mutrecmono.sail	1007	log plain
-rw-r--r--	nonlinearpat.sail	407	log plain
d---------	not-yet	114	log plain
d---------	pass	1149	log plain
-rw-r--r--	repeatedint.sail	503	log plain
-rw-r--r--	rewrites.sail	830	log plain
-rwxr-xr-x	run_tests.sh	2553	log plain
-rw-r--r--	set.sail	1215	log plain
-rw-r--r--	set2.sail	767	log plain
-rw-r--r--	test.ml	139	log plain
-rw-r--r--	test_extra.lem	552	log plain
-rw-r--r--	tests	593	log plain
-rw-r--r--	times8.sail	1635	log plain
-rw-r--r--	times8div8.sail	1530	log plain
-rw-r--r--	union-exist.sail	657	log plain
-rw-r--r--	union-exist2.sail	833	log plain
-rw-r--r--	union_split.sail	507	log plain
-rw-r--r--	varmatch.sail	544	log plain
-rw-r--r--	varpatterns.sail	1033	log plain
-rw-r--r--	vector.sail	781	log plain