aboutsummaryrefslogtreecommitdiffhomepage
path: root/contrib/extraction/haskell.ml
Commit message (Expand)AuthorAge
* BIG MAJ Extraction:Gravatar letouzey2003-04-16
* plus d'environment fixe cur_env mais un environment evolutifGravatar letouzey2003-02-02
* petit bug pp haskellGravatar letouzey2003-01-22
* Extraction des modules, enfin !Gravatar letouzey2003-01-22
* chamboulement du codage des indcutifs extraits; deplacements des tables; ...Gravatar letouzey2002-12-09
* code cleanup (+ debut de commencement de modules)Gravatar letouzey2002-12-05
* Remaniement du pp, suite: vers un renommage modulaire correcteGravatar letouzey2002-11-28
* bug pp letin + un inductif constant n'est pas un recordGravatar letouzey2002-11-28
* Reorganisation du pretty-print:Gravatar letouzey2002-11-28
* L'extraction c'est magic cvs -n upGravatar letouzey2002-10-31
* reparation d'un bug (dummy_lams -> anonym_lams) + chgmt structutr d'un ml_typeGravatar letouzey2002-07-24
* 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
* considerations de pretty-printGravatar letouzey2002-03-21
* 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
* modifs des preambules d'extraction modulaireGravatar letouzey2002-02-27
* suite et fin (?) de haskell: gestion des modules, mise en place du'un testGravatar letouzey2002-02-15
* qq inline manuels (sigS_rec ...) + utilisation de library_partGravatar letouzey2002-02-14
* pretty printGravatar letouzey2002-02-12
* Test & correction de la production de code HaskellGravatar letouzey2002-02-12
* un assert false de trop (MLexn peut avoir des args)Gravatar letouzey2002-02-07
* gros changement dans mlutil.ml: ajout d'une elimination globale des propGravatar letouzey2002-02-06
* maj CHANGES extraction + bug extraction & _Gravatar letouzey2001-12-21
* typo de parenthèsage + suppression de string (= str maintenant)Gravatar letouzey2001-12-18
* compat ocaml 3.03Gravatar filliatr2001-12-13
* Refonte de extraction.ml. Traitement dans mlutil.ml des Empty Inductive (Texn)Gravatar letouzey2001-11-12
* GROS COMMIT:Gravatar barras2001-11-05
* Creation de Recursive Extarction ModuleGravatar letouzey2001-11-03
* suite des modifs concernant les optimisations diversGravatar letouzey2001-11-02
* legeres modifs pretty-print de l'extractionsGravatar letouzey2001-10-30
* 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
* travail sur le Extract ConstantGravatar letouzey2001-09-18
* ParsingGravatar herbelin2001-08-10
* mise en place extraction haskellGravatar filliatr2001-05-14