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