aboutsummaryrefslogtreecommitdiff
path: root/contrib/extraction
AgeCommit message (Expand)Author
2002-07-17reparation temporaire(?) a coup de MLdummy'letouzey
2002-07-16majletouzey
2002-07-16Pour ocamlwebletouzey
2002-07-16Souci avec example fbidon...letouzey
2002-07-16petit bug lors du passage d'hugoletouzey
2002-07-16Gros Remaniement Extraction:letouzey
2002-06-07extraction vers schemeletouzey
2002-06-05Ajout d'extensions de syntaxe ARGUMENT EXTEND et VERNAC ARGUMENT EXTEND; rpar...herbelin
2002-05-29Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...herbelin
2002-05-29Fichiers contrib/*/*.ml4 remplacent les contrib/*/*.vherbelin
2002-04-24petit bug dans les noms de fichiersletouzey
2002-04-18*** empty log message ***letouzey
2002-04-15maj doc extraction dans repertoire contrib/extractionletouzey
2002-04-12maj test des realsletouzey
2002-04-12petit bug avec dummy_lamsletouzey
2002-04-08extraction.mlletouzey
2002-04-08babioles de renommagesletouzey
2002-04-08ajout du mange-tout d'argument en ocaml + error en Haskell pour la constante ...letouzey
2002-04-08export de la fonction Reductionops.find_conclusion pour l'extractionletouzey
2002-04-05mise jourfilliatr
2002-03-28reparation du cas des arguments de type qui sont des arités + patch dummy ap...letouzey
2002-03-26Refonte complete de la génération des types MLletouzey
2002-03-21reparation du test des realsletouzey
2002-03-21considerations de pretty-printletouzey
2002-03-21deux fichiers supplementaires de customisation d'extractionletouzey
2002-03-21changement du test extraction suite aux modif ininingletouzey
2002-03-21modification de l'auto-inliningletouzey
2002-03-20renversement du renommage des variablesletouzey
2002-03-20reparation du controle de l'apparition des termesletouzey
2002-03-20reorganisation des simplifications: letin eta-expansé apres le kill-dummyletouzey
2002-03-20un peu moins d'eta-expansion autour des Globletouzey
2002-03-19bug optimize_fix fait trop totletouzey
2002-03-19suite bug Dglob constantletouzey
2002-03-19bug avec les MLglob vraiment constantsletouzey
2002-03-19travail sur les stratégies de réductionletouzey
2002-03-19remplacement des deux constants prop/arity par une seule dummy + pretty-print...letouzey
2002-03-15epsilonletouzey
2002-03-15un peu de mise a jour de la doc extractionletouzey
2002-03-15evite les clash avec le type ocaml unitletouzey
2002-03-15gros commit: principalement ajout des lambdas arity + leur optimisation en te...letouzey
2002-03-11Factorisation de la grammaire pour Extraction Language.letouzey
2002-03-05cas des constructeurs singletons. Messages d'erreur. Revision de test_extract...letouzey
2002-03-04Big commit extraction:letouzey
2002-02-27modifs des preambules d'extraction modulaireletouzey
2002-02-25pretty print des Cases devenant des let-inletouzey
2002-02-15suite et fin (?) de haskell: gestion des modules, mise en place du'un testletouzey
2002-02-15debut de gestion des open pour extraction modulaireletouzey
2002-02-14qq inline manuels (sigS_rec ...) + utilisation de library_partletouzey
2002-02-14- Reforme de la gestion des args recursifs (via arbres reguliers)barras
2002-02-12suppression de la condition de la permutation case/funletouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 12:31:28 +0000