]> matita.cs.unibo.it Git - helm.git/commit
a) update with upstream version
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 16 Jul 2008 12:37:24 +0000 (12:37 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 16 Jul 2008 12:37:24 +0000 (12:37 +0000)
commit21f1fb39b5e1187ef87387f20522e60abe4f7c19
tree934cd9b88bd8a4568a390a041e080e77c719e41c
parentef72426636bf3f920118df4cf0124010d0125533
a) update with upstream version
b) new: implemented semantic analyzer from untyped to typed AST for
   an imperative structured function-less C compiler
c) all URIs removed from .ma files
24 files changed:
helm/software/matita/contribs/assembly/compiler/ast_tree.ma [new file with mode: 0755]
helm/software/matita/contribs/assembly/compiler/ast_type.ma [new file with mode: 0755]
helm/software/matita/contribs/assembly/compiler/environment.ma [new file with mode: 0755]
helm/software/matita/contribs/assembly/compiler/preast_to_ast.ma [new file with mode: 0755]
helm/software/matita/contribs/assembly/compiler/preast_tree.ma [new file with mode: 0755]
helm/software/matita/contribs/assembly/compiler/utility.ma [new file with mode: 0755]
helm/software/matita/contribs/assembly/depends
helm/software/matita/contribs/assembly/freescale/Doc/counting_sort.txt [new file with mode: 0755]
helm/software/matita/contribs/assembly/freescale/Doc/daa_test.txt [new file with mode: 0755]
helm/software/matita/contribs/assembly/freescale/Doc/numeri_perfetti.txt [new file with mode: 0755]
helm/software/matita/contribs/assembly/freescale/Doc/ordine_compilazione.txt [new file with mode: 0755]
helm/software/matita/contribs/assembly/freescale/Doc/string_reverse.txt [new file with mode: 0755]
helm/software/matita/contribs/assembly/freescale/aux_bases.ma
helm/software/matita/contribs/assembly/freescale/byte8.ma
helm/software/matita/contribs/assembly/freescale/exadecim.ma
helm/software/matita/contribs/assembly/freescale/load_write.ma
helm/software/matita/contribs/assembly/freescale/model.ma
helm/software/matita/contribs/assembly/freescale/multivm.ma
helm/software/matita/contribs/assembly/freescale/opcode.ma
helm/software/matita/contribs/assembly/freescale/translation.ma
helm/software/matita/contribs/assembly/freescale/word16.ma
helm/software/matita/contribs/assembly/freescale/word32.ma [new file with mode: 0755]
helm/software/matita/contribs/assembly/string/ascii_min.ma [new file with mode: 0755]
helm/software/matita/contribs/assembly/string/string.ma [new file with mode: 0755]