matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Thu, 13 Mar 2008 14:01:52 +0000 (14:01 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Thu, 13 Mar 2008 14:01:52 +0000 (14:01 +0000)
commit	7845d9d0221d94418beecf3d7c3aed3efb2af7fc
tree	c84de24fdfe03fa96821564b484179e5dc37594e	tree \| snapshot
parent	25be562c5436746df8d892449a9ff98755c37e9f	commit \| diff

New version of freescale:
a) bug fixed for SBC, JUMP e JSR
b) medium_tests theorems ported to new pattern syntax
c) new test for a perfect number generator
d) "lambda-delifting" of let rec reverted (waiting for a better
implementation of simplify or for the new generation kernel)

16 files changed:

helm/software/matita/library/depends		diff \| blob \| history
helm/software/matita/library/freescale/load_write.ma		diff \| blob \| history
helm/software/matita/library/freescale/medium_tests.ma		diff \| blob \| history
helm/software/matita/library/freescale/medium_tests_lemmas.ma		diff \| blob \| history
helm/software/matita/library/freescale/medium_tests_tools.ma		diff \| blob \| history
helm/software/matita/library/freescale/multivm.ma		diff \| blob \| history
helm/software/matita/library/freescale/opcode.ma		diff \| blob \| history
helm/software/matita/library/freescale/table_HC05.ma		diff \| blob \| history
helm/software/matita/library/freescale/table_HC05_tests.ma		diff \| blob \| history
helm/software/matita/library/freescale/table_HC08.ma		diff \| blob \| history
helm/software/matita/library/freescale/table_HC08_tests.ma		diff \| blob \| history
helm/software/matita/library/freescale/table_HCS08.ma		diff \| blob \| history
helm/software/matita/library/freescale/table_HCS08_tests.ma		diff \| blob \| history
helm/software/matita/library/freescale/table_RS08.ma		diff \| blob \| history
helm/software/matita/library/freescale/table_RS08_tests.ma		diff \| blob \| history
helm/software/matita/library/freescale/translation.ma		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom