]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9aad60f) | patch
check_metasenv_consistency:
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 10 Mar 2008 10:39:45 +0000 (10:39 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 10 Mar 2008 10:39:45 +0000 (10:39 +0000)
commitc4f53600c65b71ae9e213a54bade36c0c2e2ae37
tree750b9d4a9504654025fc4b363c756a5f2ed28753tree | snapshot
parent9aad60f67d550a2b6c8f9497b726bc2af3309360commit | diff
check_metasenv_consistency:
big ad-hoc performance improvement propagated from CicTypeChecker to CicRefine.
This really cuts down the total refinement time in some situations (freescale).
helm/software/components/cic_unification/cicRefine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.