]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 122d4b9) | patch
0. less nice solution by Enrico reverted
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 10 Jul 2007 22:06:50 +0000 (22:06 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 10 Jul 2007 22:06:50 +0000 (22:06 +0000)
commit0e940e14a96949c07d547b396957c17c507adde9
treed49b2d2c6d9fc45fb24c219dbbc6c590a94e76a5tree | snapshot
parent122d4b9f48a45a56e87818e44dee5e23e753524acommit | diff
0. less nice solution by Enrico reverted
1. some bug fixes in assembly code
2. test program simplified
3. reduction now works as expected, thanks to the new reduction strategy
4. BIG BUG SOMEWHERE: (270 \mod 256) reduces to 14 instead of 4!!!
5. requires primitive addition over exadecimal numbers and bytes to
   avoid representing 0+x as byte_of_nat (nat_of_byte x) that does not
   reduce
matita/library/assembly/assembly.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.