]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 87f1e71) | patch
Major speed-up: meta-chains are now expanded during restriction to avoid
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 22 Jul 2009 16:39:32 +0000 (16:39 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 22 Jul 2009 16:39:32 +0000 (16:39 +0000)
commitb873fcd647e7b30e486eac5c5470762c9bc79e93
tree46acbb6265d6217077378dc4770e1058ebd0f5fctree | snapshot
parent87f1e71f269122c42c02971c82406767e3395ca5commit | diff
Major speed-up: meta-chains are now expanded during restriction to avoid
creating longer ones and to avoid restricting twice the same conjecture.
helm/software/components/ng_refiner/nCicMetaSubst.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.