]> matita.cs.unibo.it Git - helm.git/commit
freescale porting
authorCosimo Oliboni <??>
Fri, 5 Feb 2010 07:43:09 +0000 (07:43 +0000)
committerCosimo Oliboni <??>
Fri, 5 Feb 2010 07:43:09 +0000 (07:43 +0000)
commitcacd19eb7ce2395301b31ed3932b4cd7c23ca90e
treee4f5b819fc6bd14d7f03bf73f997432553f107b2
parent3e758134d629980e9bf018a913404b98eccc514c
 freescale porting
35 files changed:
helm/software/matita/contribs/ng_assembly2/common/prod.ma
helm/software/matita/contribs/ng_assembly2/depends
helm/software/matita/contribs/ng_assembly2/emulator/memory/memory_abs.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/memory/memory_base.ma [new file with mode: 0644]
helm/software/matita/contribs/ng_assembly2/emulator/memory/memory_bits.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/memory/memory_func.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/memory/memory_struct.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/memory/memory_struct_base.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/memory/memory_trees.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/HC05_table_tests.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/HC08_table_tests.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/HCS08_table_tests.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/IP2022_instr_mode.ma
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/IP2022_table_tests.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/RS08_table_tests.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/pseudo.ma
helm/software/matita/contribs/ng_assembly2/emulator/status/HC05_status.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/status/HC05_status_base.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/status/HC08_status.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/status/HC08_status_base.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/status/IP2022_status.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/status/IP2022_status_base.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/status/RS08_status.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/status/RS08_status_base.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/status/status.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/status/status_base.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/num/bitrigesim.ma
helm/software/matita/contribs/ng_assembly2/num/bool.ma
helm/software/matita/contribs/ng_assembly2/num/bool_lemmas.ma
helm/software/matita/contribs/ng_assembly2/num/byte8.ma
helm/software/matita/contribs/ng_assembly2/num/comp_num.ma
helm/software/matita/contribs/ng_assembly2/num/oct.ma
helm/software/matita/contribs/ng_assembly2/num/word16.ma
helm/software/matita/contribs/ng_assembly2/num/word32.ma
helm/software/matita/contribs/ng_assembly2/universe/universe.ma