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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 28 Nov 2008 18:28:58 +0000 (18:28 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 28 Nov 2008 18:28:58 +0000 (18:28 +0000)
commit	987627a48b2a3c2345d1af2c2a6b1ab78aa90b58
tree	e6cac89857e75eb105ab279ca5b6717059a18c7a	tree \| snapshot
parent	26040e5256de231dd309d1b2ab9b12bc36e98368	commit \| diff

ng_disambiguation ng_kernel ng_refiner disambiguation: svn:ignore fixed
hExtlib: the map of list_findopt takes the position in the list (starts at 0)
cicRefine, acic2astMatcher, grafiteEngine: updated accordingly
cicUtil cicDischarge: bug fixes
cicSubstitution: new function lift_map for non-linear relocation
proceduralOptimizer: initial support for contrlling critical optimizations

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

RSS Atom

helm/software/components/acic_content/acic2astMatcher.ml		diff \| blob \| history
helm/software/components/acic_procedural/proceduralOptimizer.ml		diff \| blob \| history
helm/software/components/cic/cicUtil.ml		diff \| blob \| history
helm/software/components/cic_proof_checking/cicDischarge.ml		diff \| blob \| history
helm/software/components/cic_proof_checking/cicSubstitution.ml		diff \| blob \| history
helm/software/components/cic_proof_checking/cicSubstitution.mli		diff \| blob \| history
helm/software/components/cic_unification/cicRefine.ml		diff \| blob \| history
helm/software/components/extlib/hExtlib.ml		diff \| blob \| history
helm/software/components/extlib/hExtlib.mli		diff \| blob \| history
helm/software/components/grafite_engine/grafiteEngine.ml		diff \| blob \| history