]> matita.cs.unibo.it Git - helm.git/commit
freescale porting, work in progress
authorCosimo Oliboni <??>
Fri, 31 Jul 2009 23:06:23 +0000 (23:06 +0000)
committerCosimo Oliboni <??>
Fri, 31 Jul 2009 23:06:23 +0000 (23:06 +0000)
commitdcde2b362a4106e36623d25e6a2d26dffac61848
tree41c2b896dbef8a01e354e42bc77cb73655582824
parent6678a28314d8878bb46d5de7b1060628f4930242
 freescale porting, work in progress
29 files changed:
helm/software/matita/contribs/ng_assembly/compiler/ast_type.ma
helm/software/matita/contribs/ng_assembly/depends
helm/software/matita/contribs/ng_assembly/freescale/aux_bases.ma [deleted file]
helm/software/matita/contribs/ng_assembly/freescale/aux_bases_lemmas.ma [deleted file]
helm/software/matita/contribs/ng_assembly/freescale/bitrigesim.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/freescale/bitrigesim_lemmas.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/freescale/bool_lemmas.ma
helm/software/matita/contribs/ng_assembly/freescale/byte8.ma
helm/software/matita/contribs/ng_assembly/freescale/exadecim.ma
helm/software/matita/contribs/ng_assembly/freescale/exadecim_lemmas.ma
helm/software/matita/contribs/ng_assembly/freescale/memory_struct.ma
helm/software/matita/contribs/ng_assembly/freescale/multivm.ma
helm/software/matita/contribs/ng_assembly/freescale/nat.ma [deleted file]
helm/software/matita/contribs/ng_assembly/freescale/nat_lemmas.ma [deleted file]
helm/software/matita/contribs/ng_assembly/freescale/oct.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/freescale/oct_lemmas.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/freescale/opcode_base.ma
helm/software/matita/contribs/ng_assembly/freescale/opcode_base_lemmas.ma
helm/software/matita/contribs/ng_assembly/freescale/opcode_base_lemmas_instrmode1.ma
helm/software/matita/contribs/ng_assembly/freescale/opcode_base_lemmas_instrmode2.ma
helm/software/matita/contribs/ng_assembly/freescale/opcode_base_lemmas_opcode1.ma
helm/software/matita/contribs/ng_assembly/freescale/quatern.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/freescale/quatern_lemmas.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/freescale/theory.ma
helm/software/matita/contribs/ng_assembly/freescale/word16.ma
helm/software/matita/contribs/ng_assembly/freescale/word32.ma
helm/software/matita/contribs/ng_assembly/utility/string.ma
helm/software/matita/contribs/ng_assembly/utility/string_lemmas.ma
helm/software/matita/contribs/ng_assembly/utility/utility.ma