]> matita.cs.unibo.it Git - helm.git/commit
Performance improvement by preserving more sharing. Visible in Oliboni's
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 7 Oct 2009 18:18:00 +0000 (18:18 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 7 Oct 2009 18:18:00 +0000 (18:18 +0000)
commit21478bf4534374bb3c2c131acb096c7d3ffc2058
tree28bbf5b4ea1b31392aad565c896fab01a2408d0a
parentc18e280d198b15aaa0598b1520ba1c457a56983e
Performance improvement by preserving more sharing. Visible in Oliboni's
development. But still slower then old matita (but pheraps on different data...)
helm/software/components/ng_kernel/nCicReduction.ml