]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ed93651) | 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)
commit9756578c70c8197cfd8f43047263250255f8e429
tree693a298b67c8e1b8444f1db36aa96562e4650ba1tree | snapshot
parented936515481f5035fde443f4aee55b86e427cef4commit | 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
helm/software/matita/library/assembly/assembly.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.