]> matita.cs.unibo.it Git - helm.git/commit
freescale porting
authorCosimo Oliboni <??>
Sat, 30 Jan 2010 08:49:34 +0000 (08:49 +0000)
committerCosimo Oliboni <??>
Sat, 30 Jan 2010 08:49:34 +0000 (08:49 +0000)
commiteb4144a401147a44a9620169eb6dafeb8f5a2c17
tree4e0cfccb8ad3172a46ac90d85d52e03c06cea8de
parenta79bf6edc13daaea8135ca71fdc92e02e229f030
 freescale porting
46 files changed:
helm/software/matita/contribs/ng_assembly/depends
helm/software/matita/contribs/ng_assembly/emulator/memory/memory_func.ma
helm/software/matita/contribs/ng_assembly/emulator/opcodes/Freescale_instr_mode.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/Freescale_instr_mode_lemmas.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/Freescale_pseudo.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/Freescale_pseudo_lemmas.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC05_instr_mode.ma [deleted file]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC05_instr_mode_lemmas.ma [deleted file]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC05_opcode.ma [deleted file]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC05_opcode_lemmas.ma [deleted file]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC05_table.ma
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC05_table_tests.ma
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC08_instr_mode.ma [deleted file]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC08_instr_mode_lemmas.ma [deleted file]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC08_opcode.ma [deleted file]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC08_opcode_lemmas.ma [deleted file]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC08_table.ma
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC08_table_tests.ma
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HCS08_opcode.ma [deleted file]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HCS08_opcode_lemmas.ma [deleted file]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HCS08_table.ma
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HCS08_table_tests.ma
helm/software/matita/contribs/ng_assembly/emulator/opcodes/IP2022_instr_mode.ma
helm/software/matita/contribs/ng_assembly/emulator/opcodes/IP2022_opcode.ma [deleted file]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/IP2022_opcode_lemmas.ma [deleted file]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/IP2022_pseudo.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/IP2022_pseudo_lemmas.ma [new file with mode: 0644]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/IP2022_table.ma
helm/software/matita/contribs/ng_assembly/emulator/opcodes/IP2022_table_tests.ma
helm/software/matita/contribs/ng_assembly/emulator/opcodes/RS08_instr_mode.ma [deleted file]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/RS08_instr_mode_lemmas.ma [deleted file]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/RS08_opcode.ma [deleted file]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/RS08_opcode_lemmas.ma [deleted file]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/RS08_table.ma
helm/software/matita/contribs/ng_assembly/emulator/opcodes/RS08_table_tests.ma
helm/software/matita/contribs/ng_assembly/emulator/opcodes/opcode.ma [deleted file]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/opcode_lemmas.ma [deleted file]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/pseudo.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/pseudo_lemmas.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/emulator/read_write/RS08_read_write.ma
helm/software/matita/contribs/ng_assembly/emulator/status/status.ma
helm/software/matita/contribs/ng_assembly/emulator/status/status_lemmas.ma
helm/software/matita/contribs/ng_assembly/emulator/translation/translation_base.ma
helm/software/matita/contribs/ng_assembly/num/byte8.ma
helm/software/matita/contribs/ng_assembly/num/word16.ma
helm/software/matita/contribs/ng_assembly/num/word32.ma