aboutsummaryrefslogtreecommitdiff
path: root/kernel/closure.mli
AgeCommit message (Expand)Author
2002-01-30cosmetiqueherbelin
2001-11-29nouvel algo de conversion plus uniformebarras
2001-11-09MAJ pour make docherbelin
2001-11-05GROS COMMIT:barras
2001-10-09Suppression des arguments sur les constantes, inductifs et constructeursbarras
2001-09-20Transparentbarras
2001-09-20Nettoyage des commentairesherbelin
2001-09-05Version de la reduction dans Closure plus econome en memoire:barras
2001-07-02Nettoyage/restructuration des ensembles d'indicateurs de réductionsherbelin
2001-05-28option -qualityfilliatr
2001-05-03Changement de la structure des points fixesbarras
2001-04-15to_constr renvoie directement un constr pour contourner l'ancien Term.mk_cons...herbelin
2001-03-23amelioration de la consommation memoire de la conversion en eta-expansantbarras
2001-03-15entetesfilliatr
2001-03-01nouvelle implantation de la reductionbarras
2001-01-31Mise en place de la possibilite d'unfolder des variables locales et des const...filliatr
2000-12-26DĂ©placement du type stack de Reduction vers Closure et utilisation pour accĂ...herbelin
2000-12-12syntaxe AST Inversion + commentaires ocamlweb autour de $filliatr
2000-11-27Utilisation de Let In pour les constantes locales, prise en compte des Let In...herbelin
2000-11-24Ajout objets END-SECTION pour les nametabs + nettoyage lib/nametabfilliatr
2000-11-21Ajout d'une fonction pour recuperer la liste des constantesdelahaye
2000-11-02suppression des (* open Generic *)filliatr
2000-10-24Bug réduction suite modifs let-inherbelin
2000-10-23La réduction du Let s'appelle maintenant zeta comme dans le lambda-mu-calculherbelin
2000-10-04Touche finale à la réduction du let in dans conv et closureherbelin
2000-09-14Minor correction for Ocamlweb + doc updatecoq
2000-09-14Nouvelle version de frterm; ajout des contextes dans l'enviornnement de rédu...herbelin
2000-09-10Correction pour make docherbelin
2000-09-10Ajout d'un LetIn primitif.herbelin
1999-12-01 - environment -> safe_environmentfilliatr
1999-10-18 - déplacement (encore une fois !) des variables existentielles : elles sontfilliatr
1999-10-08deplacements des var. ex. hors du noyaufilliatr
1999-09-19 - un effort sur la doc (ocamlweb)filliatr
1999-08-26 - abstractionfilliatr
1999-08-19mise en place programmation literaire (generation de doc/coq.tex)filliatr
1999-08-18module Reduction (debut)filliatr
1999-08-17module Closurefilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 18:47:21 +0000