]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 41bf338) | patch
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
treeda3c536f013c84473b23bb0054c67bef62e7f8a6tree | snapshot
parent41bf338d7e638ebb5d97e525055bff05b1f0f045commit | diff
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 diff | blob | history
helm/software/matita/contribs/assembly/compiler/ast_tree.ma diff | blob | history
helm/software/matita/contribs/assembly/compiler/astfe_tree.ma diff | blob | history
helm/software/matita/contribs/assembly/compiler/preast_to_ast.ma diff | blob | history
helm/software/matita/contribs/assembly/compiler/preast_tree.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.