index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
contrib
/
extraction
/
ocaml.mli
Commit message (
Expand
)
Author
Age
*
un paquet de corrections de bugs
letouzey
2004-10-04
*
reparation des Extract Constant avec Haskell
letouzey
2004-09-06
*
Nouvelle en-tête
herbelin
2004-07-16
*
Modules et Records: gros changements pour prendre en compte le nouveau mind_r...
letouzey
2004-06-28
*
Extraction des modules, enfin !
letouzey
2003-01-22
*
code cleanup (+ debut de commencement de modules)
letouzey
2002-12-05
*
Remaniement du pp, suite: vers un renommage modulaire correcte
letouzey
2002-11-28
*
Reorganisation du pretty-print:
letouzey
2002-11-28
*
L'extraction c'est magic cvs -n up
letouzey
2002-10-31
*
reparation d'un bug (dummy_lams -> anonym_lams) + chgmt structutr d'un ml_type
letouzey
2002-07-24
*
ajout du mange-tout d'argument en ocaml + error en Haskell pour la constante ...
letouzey
2002-04-08
*
Refonte complete de la génération des types ML
letouzey
2002-03-26
*
modifs des preambules d'extraction modulaire
letouzey
2002-02-27
*
suite et fin (?) de haskell: gestion des modules, mise en place du'un test
letouzey
2002-02-15
*
Test & correction de la production de code Haskell
letouzey
2002-02-12
*
extraction des CoInductives via les Lazy d'ocaml
letouzey
2002-01-31
*
typo de parenthèsage + suppression de string (= str maintenant)
letouzey
2001-12-18
*
GROS COMMIT:
barras
2001-11-05
*
multiples bricoles. Cf mon TODO papier
letouzey
2001-10-31
*
Fin de mise en place de l'option Optimize. Reorganisation du pretty-print. ET...
letouzey
2001-10-26
*
chambardement important des fichiers auxiliaires. Nouvelle syntaxe pour les o...
letouzey
2001-10-22
*
travail sur le Extract Constant
letouzey
2001-09-18
*
Parsing
herbelin
2001-08-10
*
mise en place extraction haskell
filliatr
2001-05-14
*
branchement extraction en standard (pas de Require)
filliatr
2001-04-09
*
extraction modulaire
filliatr
2001-03-30
*
changement type_var et signature
filliatr
2001-03-28
*
eta-expansion des constructeurs si necessaire (a posteriori en miniML)
filliatr
2001-03-23
*
entetes
filliatr
2001-03-15
*
extraction des types et des inductifs
filliatr
2001-02-22