aboutsummaryrefslogtreecommitdiffhomepage
path: root/contrib/extraction/mlutil.mli
Commit message (Expand)AuthorAge
* nouvelle commande Set Extraction Flag: reglage fins des optimsGravatar letouzey2004-03-24
* BIG MAJ Extraction:Gravatar letouzey2003-04-16
* bugs/améliorations trouvés via FTAGravatar letouzey2003-02-21
* Extraction des modules, enfin !Gravatar letouzey2003-01-22
* reorganisation des recherches de ref dans ml_declGravatar letouzey2002-12-05
* code cleanup (+ debut de commencement de modules)Gravatar letouzey2002-12-05
* nettoyage et reorganisationGravatar letouzey2002-11-04
* L'extraction c'est magic cvs -n upGravatar letouzey2002-10-31
* Modules dans COQ\!\!\!\!Gravatar coq2002-08-02
* Gros Remaniement Extraction:Gravatar letouzey2002-07-16
* ajout du mange-tout d'argument en ocaml + error en Haskell pour la constante ...Gravatar letouzey2002-04-08
* Refonte complete de la génération des types MLGravatar letouzey2002-03-26
* remplacement des deux constants prop/arity par une seule dummy + pretty-print...Gravatar letouzey2002-03-19
* gros commit: principalement ajout des lambdas arity + leur optimisation en te...Gravatar letouzey2002-03-15
* Big commit extraction:Gravatar letouzey2002-03-04
* suite et fin (?) de haskell: gestion des modules, mise en place du'un testGravatar letouzey2002-02-15
* Test & correction de la production de code HaskellGravatar letouzey2002-02-12
* oubliGravatar letouzey2002-02-06
* gros changement dans mlutil.ml: ajout d'une elimination globale des propGravatar letouzey2002-02-06
* Deplacement de l'optim singleton depuis extraction vers mlutil. Autres modifs...Gravatar letouzey2001-11-08
* Refonte du fichier mlutil.ml. Correction d'un bug d'optim caseGravatar letouzey2001-11-07
* GROS COMMIT:Gravatar barras2001-11-05
* suite des modifs concernant les optimisations diversGravatar letouzey2001-11-02
* multiples bricoles. Cf mon TODO papierGravatar letouzey2001-10-31
* Fin de mise en place de l'option Optimize. Reorganisation du pretty-print. ET...Gravatar letouzey2001-10-26
* chambardement important des fichiers auxiliaires. Nouvelle syntaxe pour les o...Gravatar letouzey2001-10-22
* Verification supplementaire avant optimisation singletonGravatar letouzey2001-09-19
* travail sur le Extract ConstantGravatar letouzey2001-09-18
* mise en place extraction haskellGravatar filliatr2001-05-14
* commentaires mlutil + binders_fold en coursGravatar letouzey2001-04-30
* diversGravatar filliatr2001-04-23
* Uncurryfy_ast inutile depuis l'eta-expansion dans extraction.ml.Gravatar letouzey2001-04-23
* optimizations extractionGravatar filliatr2001-04-20
* deplacement de l'optimisation inductif singletonGravatar letouzey2001-04-19
* eliminiation des singletons du genre sig + diversGravatar letouzey2001-04-13
* nouvelle gestion des variables de type MLGravatar letouzey2001-04-12
* réparation Correctness; options Extraction (changement de syntaxe)Gravatar filliatr2001-04-10
* branchement extraction en standard (pas de Require)Gravatar filliatr2001-04-09
* axiomes dans les typesGravatar filliatr2001-04-04
* rollback sur les commandes Extract Constant/Inductive; nettoyage et documenta...Gravatar filliatr2001-04-04
* commandes Extract Constant/Inductive; message d'erreur pour les axiomesGravatar filliatr2001-04-03
* underscores pour les variables représentant des propositionsGravatar filliatr2001-04-02
* beta-reductionGravatar filliatr2001-03-30
* conservation des arguments dans Prop (snif)Gravatar filliatr2001-03-27
* eta-expansion des constructeurs si necessaire (a posteriori en miniML)Gravatar filliatr2001-03-23
* mlutilGravatar filliatr2001-03-20