matita.cs.unibo.it Git - helm.git/commit - helm/software/matita/contribs/ng_assembly/emulator/multivm/multivm_base.ma

]> matita.cs.unibo.it Git - helm.git/commit - helm/software/matita/contribs/ng_assembly/emulator/multivm/multivm_base.ma

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 2c38e6a) | patch

author	Cosimo Oliboni <??>
	Tue, 2 Feb 2010 05:08:53 +0000 (05:08 +0000)
committer	Cosimo Oliboni <??>
	Tue, 2 Feb 2010 05:08:53 +0000 (05:08 +0000)
commit	826883e023c178930ca3dd69567eac23f15ef9c4
tree	a0e8fe79a946a0bf94029a01e670c81bb67afcd1	tree \| snapshot
parent	2c38e6a237e6a0e263abccf8d8ef3e7a31272443	commit \| diff

freescale porting

15 files changed:

helm/software/matita/contribs/ng_assembly/depends		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/emulator/multivm/Freescale_multivm.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/emulator/multivm/IP2022_multivm.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/emulator/multivm/multivm.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/emulator/multivm/multivm_base.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/emulator/multivm/multivm_lemmas.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/emulator/read_write/Freescale_load_write.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/emulator/read_write/IP2022_load_write.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/emulator/read_write/fetch.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/emulator/read_write/load_write.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/byte8.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/exadecim.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/word16.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/word24.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/word32.ma		diff \| blob \| history

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