matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Mon, 21 Jan 2008 17:29:48 +0000 (17:29 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Mon, 21 Jan 2008 17:29:48 +0000 (17:29 +0000)
commit	5806e0aa438ae85f09c93c93ba9f53d9663d7420
tree	6c2bec4af7237e4a12006059a22586fead2db859	tree \| snapshot
parent	531f4605986ad1d263e688124ddf710b08bd98fa	commit \| diff

Old tiny freescale experiment get rid of.
New shiny freescale formalization by Cosimo Oliboni <oliboni@cs.unibo.it>,
described in his Laurea Thesis.

36 files changed:

helm/software/matita/library/assembly/byte.ma	[deleted file]	blob \| history
helm/software/matita/library/assembly/exadecimal.ma	[deleted file]	blob \| history
helm/software/matita/library/assembly/extra.ma	[deleted file]	blob \| history
helm/software/matita/library/assembly/test.ma	[deleted file]	blob \| history
helm/software/matita/library/assembly/vm.ma	[deleted file]	blob \| history
helm/software/matita/library/depends		diff \| blob \| history
helm/software/matita/library/freescale/aux_bases.ma	[new file with mode: 0644]	blob
helm/software/matita/library/freescale/byte8.ma	[new file with mode: 0644]	blob
helm/software/matita/library/freescale/doc/aurei.txt	[new file with mode: 0644]	blob
helm/software/matita/library/freescale/doc/daa.txt	[new file with mode: 0644]	blob
helm/software/matita/library/freescale/doc/freescale.txt	[new file with mode: 0644]	blob
helm/software/matita/library/freescale/doc/ordinamento.txt	[new file with mode: 0644]	blob
helm/software/matita/library/freescale/doc/ordine_compilazione.txt	[new file with mode: 0644]	blob
helm/software/matita/library/freescale/doc/reverse.txt	[new file with mode: 0644]	blob
helm/software/matita/library/freescale/exadecim.ma	[new file with mode: 0644]	blob
helm/software/matita/library/freescale/extra.ma	[new file with mode: 0644]	blob
helm/software/matita/library/freescale/load_write.ma	[new file with mode: 0644]	blob
helm/software/matita/library/freescale/medium_tests.ma	[new file with mode: 0644]	blob
helm/software/matita/library/freescale/medium_tests_tools.ma	[new file with mode: 0644]	blob
helm/software/matita/library/freescale/memory_abs.ma	[new file with mode: 0644]	blob
helm/software/matita/library/freescale/memory_bits.ma	[new file with mode: 0644]	blob
helm/software/matita/library/freescale/memory_func.ma	[new file with mode: 0644]	blob
helm/software/matita/library/freescale/memory_struct.ma	[new file with mode: 0644]	blob
helm/software/matita/library/freescale/memory_trees.ma	[new file with mode: 0644]	blob
helm/software/matita/library/freescale/micro_tests.ma	[new file with mode: 0644]	blob
helm/software/matita/library/freescale/model.ma	[new file with mode: 0644]	blob
helm/software/matita/library/freescale/multivm.ma	[new file with mode: 0644]	blob
helm/software/matita/library/freescale/opcode.ma	[new file with mode: 0644]	blob
helm/software/matita/library/freescale/status.ma	[new file with mode: 0644]	blob
helm/software/matita/library/freescale/table_HC05.ma	[new file with mode: 0644]	blob
helm/software/matita/library/freescale/table_HC08.ma	[new file with mode: 0644]	blob
helm/software/matita/library/freescale/table_HCS08.ma	[new file with mode: 0644]	blob
helm/software/matita/library/freescale/table_RS08.ma	[new file with mode: 0644]	blob
helm/software/matita/library/freescale/tests.old	[new file with mode: 0644]	blob
helm/software/matita/library/freescale/translation.ma	[new file with mode: 0644]	blob
helm/software/matita/library/freescale/word16.ma	[new file with mode: 0644]	blob

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom