aboutsummaryrefslogtreecommitdiff
path: root/contrib/extraction/ocaml.ml
AgeCommit message (Expand)Author
2003-11-10révision du traitement des axiomes non réalisésletouzey
2003-07-10renommage des modules 1er niveau en monolithiqueletouzey
2003-07-08 bug match matchletouzey
2003-06-12fin de l'affichage des signatures de modules dans les *.mlletouzey
2003-04-16BIG MAJ Extraction:letouzey
2003-03-25Extract Constant marche avec les axiomes schémas de typesletouzey
2003-02-21bugs/améliorations trouvés via FTAletouzey
2003-02-02plus d'environment fixe cur_env mais un environment evolutifletouzey
2003-01-30fignolageletouzey
2003-01-30pb d'hier resolu. Recommitletouzey
2003-01-29Ca a tout pété -> Bactrack a la version d'hierletouzey
2003-01-29affichage module et module typeletouzey
2003-01-29affichage module et module typeletouzey
2003-01-29affichage module et module typeletouzey
2003-01-28amelioration du pretty-print des modulesletouzey
2003-01-22Extraction des modules, enfin !letouzey
2002-12-09ppletouzey
2002-12-09chamboulement du codage des indcutifs extraits; deplacements des tables; ...letouzey
2002-12-05code cleanup (+ debut de commencement de modules)letouzey
2002-11-292 bugs: 1) projections pas renommées 2) mutual fixpoints a l'enversletouzey
2002-11-29cosmetiqueletouzey
2002-11-28Remaniement du pp, suite: vers un renommage modulaire correcteletouzey
2002-11-28suite et fin des records avec ocamlletouzey
2002-11-28 bug pp letin + un inductif constant n'est pas un recordletouzey
2002-11-28Reorganisation du pretty-print:letouzey
2002-11-26debut de support des records camlletouzey
2002-10-31L'extraction c'est magic cvs -n upletouzey
2002-07-24reparation d'un bug (dummy_lams -> anonym_lams) + chgmt structutr d'un ml_typeletouzey
2002-07-17reparation temporaire(?) a coup de MLdummy'letouzey
2002-07-16Gros Remaniement Extraction:letouzey
2002-04-08babioles de renommagesletouzey
2002-04-08ajout du mange-tout d'argument en ocaml + error en Haskell pour la constante ...letouzey
2002-03-26Refonte complete de la génération des types MLletouzey
2002-03-21considerations de pretty-printletouzey
2002-03-20renversement du renommage des variablesletouzey
2002-03-19remplacement des deux constants prop/arity par une seule dummy + pretty-print...letouzey
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-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-12pretty printletouzey
2002-02-12Test & correction de la production de code Haskellletouzey
2002-02-07un assert false de trop (MLexn peut avoir des args)letouzey
2002-02-06gros changement dans mlutil.ml: ajout d'une elimination globale des propletouzey
2002-01-31extraction des CoInductives via les Lazy d'ocamlletouzey
2001-12-21maj CHANGES extraction + bug extraction & _letouzey
2001-12-18typo de parenthèsage + suppression de string (= str maintenant)letouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 12:20:30 +0000