]> matita.cs.unibo.it Git - helm.git/commit
freescale porting
authorCosimo Oliboni <??>
Sat, 6 Feb 2010 10:30:51 +0000 (10:30 +0000)
committerCosimo Oliboni <??>
Sat, 6 Feb 2010 10:30:51 +0000 (10:30 +0000)
commit67303bc29318bd94a31903a92a2127697c5de84e
treeba44776123831f93531416470c3d95ce3bcf2a26
parentcacd19eb7ce2395301b31ed3932b4cd7c23ca90e
 freescale porting
35 files changed:
helm/software/matita/contribs/ng_assembly2/depends
helm/software/matita/contribs/ng_assembly2/emulator/model/HC05_model.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/model/HC08_model.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/model/HCS08_model.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/model/IP2022_model.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/model/RS08_model.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/model/model.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/multivm/Freescale_multivm.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/multivm/IP2022_multivm.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/multivm/multivm.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/multivm/multivm_base.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/HC05_table.ma
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/HC08_table.ma
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/HCS08_table.ma
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/IP2022_table.ma
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/RS08_table.ma
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/pseudo.ma
helm/software/matita/contribs/ng_assembly2/emulator/read_write/Freescale_fetch.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/read_write/Freescale_load_write.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/read_write/IP2022_fetch.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/read_write/IP2022_load_write.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/read_write/IP2022_read_write.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/read_write/RS08_read_write.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/read_write/fetch.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/read_write/fetch_base.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/read_write/load_write.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/read_write/load_write_base.ma [new file with mode: 0644]
helm/software/matita/contribs/ng_assembly2/emulator/read_write/read_write.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/read_write/read_write_base.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/status/IP2022_status_base.ma
helm/software/matita/contribs/ng_assembly2/emulator/status/status_base.ma
helm/software/matita/contribs/ng_assembly2/emulator/status/status_getter.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/status/status_setter.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/tests/micro_tests_tools.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/num/word24.ma