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.ml
Commit message (
Expand
)
Author
Age
...
*
cosmetique
letouzey
2002-11-29
*
Remaniement du pp, suite: vers un renommage modulaire correcte
letouzey
2002-11-28
*
suite et fin des records avec ocaml
letouzey
2002-11-28
*
bug pp letin + un inductif constant n'est pas un record
letouzey
2002-11-28
*
Reorganisation du pretty-print:
letouzey
2002-11-28
*
debut de support des records caml
letouzey
2002-11-26
*
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
*
reparation temporaire(?) a coup de MLdummy'
letouzey
2002-07-17
*
Gros Remaniement Extraction:
letouzey
2002-07-16
*
babioles de renommages
letouzey
2002-04-08
*
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
*
considerations de pretty-print
letouzey
2002-03-21
*
renversement du renommage des variables
letouzey
2002-03-20
*
remplacement des deux constants prop/arity par une seule dummy + pretty-print...
letouzey
2002-03-19
*
evite les clash avec le type ocaml unit
letouzey
2002-03-15
*
gros commit: principalement ajout des lambdas arity + leur optimisation en te...
letouzey
2002-03-15
*
cas des constructeurs singletons. Messages d'erreur. Revision de test_extract...
letouzey
2002-03-05
*
Big commit extraction:
letouzey
2002-03-04
*
modifs des preambules d'extraction modulaire
letouzey
2002-02-27
*
pretty print des Cases devenant des let-in
letouzey
2002-02-25
*
suite et fin (?) de haskell: gestion des modules, mise en place du'un test
letouzey
2002-02-15
*
pretty print
letouzey
2002-02-12
*
Test & correction de la production de code Haskell
letouzey
2002-02-12
*
un assert false de trop (MLexn peut avoir des args)
letouzey
2002-02-07
*
gros changement dans mlutil.ml: ajout d'une elimination globale des prop
letouzey
2002-02-06
*
extraction des CoInductives via les Lazy d'ocaml
letouzey
2002-01-31
*
maj CHANGES extraction + bug extraction & _
letouzey
2001-12-21
*
typo de parenthèsage + suppression de string (= str maintenant)
letouzey
2001-12-18
*
compat ocaml 3.03
filliatr
2001-12-13
*
correction de bugs concernant la gestion des modules. debranchement du test d...
letouzey
2001-12-10
*
Refonte de extraction.ml. Traitement dans mlutil.ml des Empty Inductive (Texn)
letouzey
2001-11-12
*
GROS COMMIT:
barras
2001-11-05
*
suite des modifs concernant les optimisations divers
letouzey
2001-11-02
*
multiples bricoles. Cf mon TODO papier
letouzey
2001-10-31
*
legeres modifs pretty-print de l'extractions
letouzey
2001-10-30
*
Fin de mise en place de l'option Optimize. Reorganisation du pretty-print. ET...
letouzey
2001-10-26
*
suite du seisme
letouzey
2001-10-23
*
chambardement important des fichiers auxiliaires. Nouvelle syntaxe pour les o...
letouzey
2001-10-22
*
Abstraction de l'immplementation de dirpath et implementation dans l'autre se...
herbelin
2001-10-17
*
bug affichage des termes ml fournis
letouzey
2001-09-20
*
Verification supplementaire avant optimisation singleton
letouzey
2001-09-19
*
travail sur le Extract Constant
letouzey
2001-09-18
*
bug de rename_global modulaire corrige'
letouzey
2001-09-10
*
Parsing
herbelin
2001-08-10
*
mise en place extraction haskell
filliatr
2001-05-14
*
Changement de la structure des points fixes
barras
2001-05-03
*
Fin d'optimisation (cas modules) + warning pour coind & ocaml
letouzey
2001-04-24
*
cofix_warning dans les parametres d'extraction
filliatr
2001-04-24
[prev]
[next]