]> matita.cs.unibo.it Git - helm.git/commit
freescale porting
authorCosimo Oliboni <??>
Tue, 2 Feb 2010 05:08:53 +0000 (05:08 +0000)
committerCosimo Oliboni <??>
Tue, 2 Feb 2010 05:08:53 +0000 (05:08 +0000)
commit826883e023c178930ca3dd69567eac23f15ef9c4
treea0e8fe79a946a0bf94029a01e670c81bb67afcd1
parent2c38e6a237e6a0e263abccf8d8ef3e7a31272443
 freescale porting
15 files changed:
helm/software/matita/contribs/ng_assembly/depends
helm/software/matita/contribs/ng_assembly/emulator/multivm/Freescale_multivm.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/emulator/multivm/IP2022_multivm.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/emulator/multivm/multivm.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/emulator/multivm/multivm_base.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/emulator/multivm/multivm_lemmas.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/emulator/read_write/Freescale_load_write.ma
helm/software/matita/contribs/ng_assembly/emulator/read_write/IP2022_load_write.ma
helm/software/matita/contribs/ng_assembly/emulator/read_write/fetch.ma
helm/software/matita/contribs/ng_assembly/emulator/read_write/load_write.ma
helm/software/matita/contribs/ng_assembly/num/byte8.ma
helm/software/matita/contribs/ng_assembly/num/exadecim.ma
helm/software/matita/contribs/ng_assembly/num/word16.ma
helm/software/matita/contribs/ng_assembly/num/word24.ma
helm/software/matita/contribs/ng_assembly/num/word32.ma