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
*
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