]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a5833cd) | patch
The lpo cache is now implemented as an hastbl for more performance
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 17 May 2012 11:26:24 +0000 (11:26 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 17 May 2012 11:26:24 +0000 (11:26 +0000)
commit14f5eda52d26967d1704605e6548fd9140450913
treeae79e95df91ca0f49f2faabdda6869103058afd3tree | snapshot
parenta5833cd011c1189fdfb3e134603f2ee81e502180commit | diff
The lpo cache is now implemented as an hastbl for more performance
improvement. Probably it would be better with an ad-hoc hash-function.
matita/components/ng_paramodulation/orderings.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.