mono « test - sail - Formal specification language for ISAs

Mode	Name	Size
-rw-r--r--	.gitignore	11	log plain
-rw-r--r--	assert.sail	1660	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	3841	log plain
-rw-r--r--	castrequnion.sail	1634	log plain
-rw-r--r--	control_deps.sail	2301	log plain
-rw-r--r--	exint.sail	1792	log plain
-rw-r--r--	feature.sail	1667	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	1017	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	1824	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	1645	log plain
-rw-r--r--	times8div8.sail	2325	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