]> matita.cs.unibo.it Git - helm.git/commit
freescale porting
authorCosimo Oliboni <??>
Thu, 28 Jan 2010 00:42:24 +0000 (00:42 +0000)
committerCosimo Oliboni <??>
Thu, 28 Jan 2010 00:42:24 +0000 (00:42 +0000)
commit7f89b4dce54266c281479a14c01edc4bd33993d1
treef6bbe54b080ca1fb874da50fe0df3d447305021d
parenta581a54f6118908a21ed3f960c70a0a2c863ca89
 freescale porting
26 files changed:
helm/software/matita/contribs/ng_assembly/common/ascii_lemmas.ma
helm/software/matita/contribs/ng_assembly/depends
helm/software/matita/contribs/ng_assembly/emulator/memory/memory_struct_lemmas.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC05_instr_mode_lemmas.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC05_opcode_lemmas.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC05_table_tests.ma
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC08_instr_mode_lemmas.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC08_opcode_lemmas.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC08_table_tests.ma
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HCS08_opcode_lemmas.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HCS08_table_tests.ma
helm/software/matita/contribs/ng_assembly/emulator/opcodes/IP2022_instr_mode_lemmas.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/IP2022_opcode_lemmas.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/IP2022_table_tests.ma
helm/software/matita/contribs/ng_assembly/emulator/opcodes/RS08_instr_mode_lemmas.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/RS08_opcode_lemmas.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/RS08_table_tests.ma
helm/software/matita/contribs/ng_assembly/emulator/opcodes/opcode_lemmas.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/emulator/status/HC05_status_lemmas.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/emulator/status/HC08_status_lemmas.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/emulator/status/IP2022_status_lemmas.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/emulator/status/RS08_status_lemmas.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/emulator/status/status.ma
helm/software/matita/contribs/ng_assembly/emulator/status/status_lemmas.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/num/bitrigesim_lemmas.ma
helm/software/matita/contribs/ng_assembly/num/word24_lemmas.ma [new file with mode: 0755]