matita.cs.unibo.it Git - helm.git/tree - helm/software/matita/contribs/assembly/freescale/

drwxr-xr-x		..
drwxr-xr-x	-	Doc	tree \| history
-rw-r--r--	4389	aux_bases.ma	blob \| history \| raw
-rw-r--r--	22017	byte8.ma	blob \| history \| raw
-rw-r--r--	78785	exadecim.ma	blob \| history \| raw
-rw-r--r--	8238	extra.ma	blob \| history \| raw
-rwxr-xr-x	177	fix-mkanystatus.sh	blob \| history \| raw
-rw-r--r--	8027	fix-with-left-params.diff	blob \| history \| raw
drwxr-xr-x	-	freescale_ocaml	tree \| history
-rw-r--r--	45208	load_write.ma	blob \| history \| raw
-rw-r--r--	46984	medium_tests.ma	blob \| history \| raw
-rw-r--r--	48719	medium_tests_lemmas.ma	blob \| history \| raw
-rw-r--r--	51267	medium_tests_tools.ma	blob \| history \| raw
-rw-r--r--	8883	memory_abs.ma	blob \| history \| raw
-rw-r--r--	11110	memory_bits.ma	blob \| history \| raw
-rw-r--r--	5814	memory_func.ma	blob \| history \| raw
-rw-r--r--	41416	memory_struct.ma	blob \| history \| raw
-rw-r--r--	11536	memory_trees.ma	blob \| history \| raw
-rw-r--r--	37258	micro_tests.ma	blob \| history \| raw
-rw-r--r--	29995	model.ma	blob \| history \| raw
-rw-r--r--	57708	multivm.ma	blob \| history \| raw
-rw-r--r--	19201	opcode.ma	blob \| history \| raw
-rw-r--r--	39384	status.ma	blob \| history \| raw
-rw-r--r--	20703	table_HC05.ma	blob \| history \| raw
-rw-r--r--	5014	table_HC05_tests.ma	blob \| history \| raw
-rw-r--r--	27969	table_HC08.ma	blob \| history \| raw
-rw-r--r--	7093	table_HC08_tests.ma	blob \| history \| raw
-rw-r--r--	29223	table_HCS08.ma	blob \| history \| raw
-rw-r--r--	6997	table_HCS08_tests.ma	blob \| history \| raw
-rw-r--r--	23892	table_RS08.ma	blob \| history \| raw
-rw-r--r--	4007	table_RS08_tests.ma	blob \| history \| raw
-rw-r--r--	11678	tests.old	blob \| history \| raw
-rw-r--r--	10913	translation.ma	blob \| history \| raw
-rw-r--r--	15757	word16.ma	blob \| history \| raw
-rwxr-xr-x	8870	word32.ma	blob \| history \| raw