]> matita.cs.unibo.it Git - helm.git/commit
1. data structure for lables is now more strict
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 11 Nov 2008 18:04:02 +0000 (18:04 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 11 Nov 2008 18:04:02 +0000 (18:04 +0000)
commit57003fb8f7c54191f61585b9b7f067c3aab666e4
treefd0f742ec6c57ea479cdc1e08c476385c5ac8eb6
parent973b0b1fd5f44b96a3c367a9756f28b75b9fa30b
1. data structure for lables is now more strict
2. phase 3 completed (with a test)
3. simple optimizer for redundant jumps implemented
helm/software/matita/contribs/assembly/compiler/astfe_to_linearfe.ma
helm/software/matita/contribs/assembly/compiler/linearfe.ma