]> matita.cs.unibo.it Git - helm.git/commit
1. new expressions AND, OR, XOR
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 12 Dec 2008 14:32:23 +0000 (14:32 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 12 Dec 2008 14:32:23 +0000 (14:32 +0000)
commitbe527f5bd4acaf530d8843b23e6849fd5211e1fc
treeda3c536f013c84473b23bb0054c67bef62e7f8a6
parent41bf338d7e638ebb5d97e525055bff05b1f0f045
1. new expressions AND, OR, XOR
2. constants must be initialized
3. bug fixed: the size n of an array means that the array
   has (n+1) elements. Thus the last valid index is n.
helm/software/matita/contribs/assembly/compiler/ast_to_astfe.ma
helm/software/matita/contribs/assembly/compiler/ast_tree.ma
helm/software/matita/contribs/assembly/compiler/astfe_tree.ma
helm/software/matita/contribs/assembly/compiler/preast_to_ast.ma
helm/software/matita/contribs/assembly/compiler/preast_tree.ma