mono « test - sail - Formal specification language for ISAs

Mode	Name	Size
-rw-r--r--	.gitignore	11	log plain
-rw-r--r--	assert.sail	1638	log plain
-rw-r--r--	assert2.sail	880	log plain
-rw-r--r--	atomsplit.sail	940	log plain
-rw-r--r--	builtins.sail	1689	log plain
-rwxr-xr-x	castreq.mk	316	log plain
-rw-r--r--	castreq.sail	3744	log plain
-rw-r--r--	castrequnion.sail	1615	log plain
-rw-r--r--	control_deps.sail	2291	log plain
-rw-r--r--	exint.sail	1782	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	2290	log plain
-rw-r--r--	mapping.sail	262	log plain
-rw-r--r--	mutrecmono.sail	1008	log plain
d---------	not-yet	199	log plain
d---------	pass	830	log plain
-rwxr-xr-x	run_tests.sh	3305	log plain
-rw-r--r--	set.sail	1785	log plain
-rw-r--r--	set2.sail	767	log plain
-rw-r--r--	test.ml	139	log plain
-rw-r--r--	test_extra.lem	518	log plain
-rw-r--r--	tests	593	log plain
-rw-r--r--	times8.sail	1636	log plain
-rw-r--r--	times8div8.sail	2294	log plain
-rw-r--r--	union-exist.sail	1256	log plain
-rw-r--r--	varmatch.sail	544	log plain
-rw-r--r--	varpatterns.sail	2493	log plain
-rw-r--r--	vector.sail	783	log plain