aboutsummaryrefslogtreecommitdiff
path: root/pretyping/evarconv.ml
AgeCommit message (Expand)Author
2002-06-07L'ordre supérieur avait quelque peu été oublié dans l'unification...herbelin
2002-04-11Deuxième passe sur la localisation des messages d'erreurs sur les evars non ...herbelin
2002-04-10Amélioration des messages d'erreurs concernant l'inférence des implicitesherbelin
2002-02-18bug #134: on appelait solve_simple_eqn avec une evar qui etait resoluebarras
2001-11-05GROS COMMIT:barras
2001-10-29Amérioration message d'erreur en cas d'échec du filtrage de premier ordreherbelin
2001-10-16Nettoyage Recordobj et conséquencesherbelin
2001-10-11Suppression option immediate_discharge; nettoyage de Declare et conséquencesherbelin
2001-10-09Suppression des arguments sur les constantes, inductifs et constructeursbarras
2001-07-06la conversion ne doit être testé dans evar_conv qu'en absence de evarherbelin
2001-05-23amelioration des messages d'erreurs vis a vis des evarsbarras
2001-05-15Modification pour passage p-automatesmohring
2001-05-03Changement de la structure des points fixesbarras
2001-04-10Bug context incoherent au passage du lambda et du let dans evar_eqapprherbelin
2001-03-28amelioration de la structure des universbarras
2001-03-23amelioration de la consommation memoire de la conversion en eta-expansantbarras
2001-03-15entetesfilliatr
2001-03-01nouvelle implantation de la reductionbarras
2000-12-26Bug de contextesherbelin
2000-12-26Déplacement du type stack de Reduction vers Closure et utilisation pour accÃ...herbelin
2000-11-27Utilisation de Let In pour les constantes locales, prise en compte des Let In...herbelin
2000-11-02suppression des (* open Generic *)filliatr
2000-10-23Petit nettoyage de Evarutil et Evarconvherbelin
2000-10-18Simplifications autour de typed_type (renommé types par analogie avec sorts)...herbelin
2000-10-18Renommage canonique :herbelin
2000-10-01Renommage AppL en Appherbelin
2000-09-14Abstraction de constrherbelin
2000-09-12Modification mkAppL; abstraction via kind_of_term; changement dans Reductionherbelin
2000-09-10Correction pour make docherbelin
2000-09-10Suppression de Abstherbelin
2000-09-10Ajout d'un LetIn primitif.herbelin
2000-07-24Passage à des contextes de vars et de rels pouvant contenir des déclarationsherbelin
2000-06-29Achèvement abstraction du mécanisme (optionnel) de castherbelin
2000-05-25Bug existential_value au lieu de existential_type + divers sur existentialherbelin
2000-04-20Abstraction du type typed_type (un pas vers les jugements 2 niveaux)herbelin
2000-03-10Reparation bug isevars dans pretypingherbelin
1999-12-13Poursuite intégration du Casesherbelin
1999-12-01 - Typing -> Safe_typingfilliatr
1999-11-29portage modules Evarconv et Evarutilfilliatr
1999-11-24Versions initialesherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 21:16:46 +0000