matita.cs.unibo.it Git - helm.git/history - components/cic_unification/cicRefine.ml

]> matita.cs.unibo.it Git - helm.git/history - components/cic_unification/cicRefine.ml

projects / helm.git / history

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

[helm.git] / components / cic_unification / cicRefine.ml

2006-09-04	Enrico Tassi	BIG FAT COMMIT REGARDING COERCIONS:	blob \| commitdiff \| raw
2006-07-10	Enrico Tassi	improved coercions support:	blob \| commitdiff \| raw \| diff to current
2006-05-26	Claudio Sacerdoti...	Recently introduced bug in CicRefine.eat_prods fixed...	blob \| commitdiff \| raw \| diff to current
2006-05-26	Claudio Sacerdoti...	Great optimization for eat_prods: if the type of the...	blob \| commitdiff \| raw \| diff to current
2006-04-26	Enrico Tassi	added a whd (nodelta) in the carr function used by...	blob \| commitdiff \| raw \| diff to current
2006-04-13	Claudio Sacerdoti...	Ugly solution to the "we proved T that is equivalent...	blob \| commitdiff \| raw \| diff to current
2006-02-20	Claudio Sacerdoti...	pack_coercion used to avoid packing n-ary coercions...	blob \| commitdiff \| raw \| diff to current
2006-02-20	Claudio Sacerdoti...	Localization bug fixed.	blob \| commitdiff \| raw \| diff to current
2006-02-20	Claudio Sacerdoti...	Bug fixed in pack_coercions_obj. The context of the...	blob \| commitdiff \| raw \| diff to current
2006-02-18	Claudio Sacerdoti...	Bug fixed in insertion of parametric coercions.	blob \| commitdiff \| raw \| diff to current
2006-02-18	Claudio Sacerdoti...	More refinement errors localized.	blob \| commitdiff \| raw \| diff to current
2006-02-18	Claudio Sacerdoti...	More refinement errors localized.	blob \| commitdiff \| raw \| diff to current
2006-02-18	Claudio Sacerdoti...	Bug fixed: the wrong exception was enriched, breaking...	blob \| commitdiff \| raw \| diff to current
2006-02-15	Enrico Tassi	added support for "polymorphic" coercions	blob \| commitdiff \| raw \| diff to current
2006-02-03	Stefano Zacchiroli	- renamed ocaml/ to components/	blob \| commitdiff \| raw \| diff to current

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