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
*
Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...
letouzey
2009-03-20
*
Cosmetic: no more whitespace at end of lines in extraction files
letouzey
2008-11-06
*
Better extraction renaming phase (fix #1914 plus other non-reported bugs)
letouzey
2008-11-05
*
Extraction of mutual types with alias: fix for bug #1965
letouzey
2008-10-16
*
typo
letouzey
2008-02-27
*
Beaoucoup de changements dans la representation interne des modules.
soubiran
2008-02-01
*
Récupération d'une exception Not_found
notin
2008-01-22
*
cosmetics: after an extract inductive to bool, let's use if then else
letouzey
2008-01-20
*
Factorisation des opérations sur le type option de Util dans un module
aspiwack
2007-12-05
*
small fix of commit 10188: a string given via Extract Inductive can be empty
letouzey
2007-10-25
*
Repair Haskell/Scheme extraction in the new extraction backend design:
letouzey
2007-10-17
*
Major reorganisation of the extraction "backend".
letouzey
2007-10-17
*
Allowing infix constructors/types in a Extract Inductive
letouzey
2007-10-06
*
Extraction: factorisation of identical branches in a match
letouzey
2007-10-06
*
un saut de ligne ...
letouzey
2007-01-12
*
suite de la reparation du bug 1239: apres les inds, les records et vars de types
letouzey
2007-01-05
*
reparation bug 1239
letouzey
2006-12-17
*
changements de dernieres minutes pour la 8.1 beta:
letouzey
2006-06-09
*
decoration des Tdummy pour pouvoir tuer tous les args de types (cf MapAVL.empty)
letouzey
2006-04-20
*
amelioration de la generation des unsafeCoerce
letouzey
2005-12-01
*
correctif pour que type t = M.t contienne bien son M.
letouzey
2005-11-29
*
merci les warnings de 3.09 ...
letouzey
2005-11-17
*
Sur le conseil de X.Leroy: x=[||] devient Array.length x=0
letouzey
2005-08-19
*
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
*
correspondance des records et noms de champs de records entre un module et sa...
letouzey
2004-06-25
*
correction rapide du bug PR\#592
letouzey
2004-04-05
*
Selon les optims, le let-in peut avoir maintenant des args
letouzey
2004-03-25
*
révision du traitement des axiomes non réalisés
letouzey
2003-11-10
*
renommage des modules 1er niveau en monolithique
letouzey
2003-07-10
*
bug match match
letouzey
2003-07-08
*
fin de l'affichage des signatures de modules dans les *.ml
letouzey
2003-06-12
*
BIG MAJ Extraction:
letouzey
2003-04-16
*
Extract Constant marche avec les axiomes schémas de types
letouzey
2003-03-25
*
bugs/améliorations trouvés via FTA
letouzey
2003-02-21
*
plus d'environment fixe cur_env mais un environment evolutif
letouzey
2003-02-02
*
fignolage
letouzey
2003-01-30
*
pb d'hier resolu. Recommit
letouzey
2003-01-30
*
Ca a tout pété -> Bactrack a la version d'hier
letouzey
2003-01-29
*
affichage module et module type
letouzey
2003-01-29
*
affichage module et module type
letouzey
2003-01-29
*
affichage module et module type
letouzey
2003-01-29
*
amelioration du pretty-print des modules
letouzey
2003-01-28
*
Extraction des modules, enfin !
letouzey
2003-01-22
*
pp
letouzey
2002-12-09
*
chamboulement du codage des indcutifs extraits; deplacements des tables; ...
letouzey
2002-12-09
*
code cleanup (+ debut de commencement de modules)
letouzey
2002-12-05
*
2 bugs: 1) projections pas renommées 2) mutual fixpoints a l'envers
letouzey
2002-11-29
[next]