index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
contrib
/
extraction
/
common.ml
Commit message (
Expand
)
Author
Age
*
changements de dernieres minutes pour la 8.1 beta:
letouzey
2006-06-09
*
reparation bug 1006
letouzey
2006-06-08
*
Nouvelle implantation du polymorphisme de sorte pour les familles inductives
herbelin
2006-05-23
*
Standardisation nom option_app en option_map
herbelin
2006-04-27
*
decoration des Tdummy pour pouvoir tuer tous les args de types (cf MapAVL.empty)
letouzey
2006-04-20
*
multiples ameliorations de l'extraction scheme:
letouzey
2005-12-16
*
amelioration de la generation des unsafeCoerce
letouzey
2005-12-01
*
merci les warnings de 3.09 ...
letouzey
2005-11-17
*
IMPORTANT COMMIT: constant is now an ADT (it used to be equal to kernel_name).
sacerdot
2004-11-16
*
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
*
message informant de l'ecriture d'un fichier extrait
letouzey
2003-11-10
*
renommage des modules 1er niveau en monolithique
letouzey
2003-07-10
*
enieme correction du nommage modulaire
letouzey
2003-06-12
*
Ooops
letouzey
2003-04-17
*
temporaire
letouzey
2003-04-17
*
BIG MAJ Extraction:
letouzey
2003-04-16
*
pour coq-ide
letouzey
2003-03-11
*
bugs/améliorations trouvés via FTA
letouzey
2003-02-21
*
hack horrible pour renommage dans Modules Types et Functeurs
letouzey
2003-02-03
*
plus d'environment fixe cur_env mais un environment evolutif
letouzey
2003-02-02
*
pb d'hier resolu. Recommit
letouzey
2003-01-30
*
apres le backtrack precedent, remise de trois points precis et surs
letouzey
2003-01-29
*
Ca a tout pété -> Bactrack a la version d'hier
letouzey
2003-01-29
*
affichage module et module type
letouzey
2003-01-29
*
workaround en attendant traitement reel des modules types
letouzey
2003-01-28
*
Extraction des modules, enfin !
letouzey
2003-01-22
*
chamboulement du codage des indcutifs extraits; deplacements des tables; ...
letouzey
2002-12-09
*
code cleanup (+ debut de commencement de modules)
letouzey
2002-12-05
*
la table PARAMETER n'existe plus (mergé dans la table CONSTANT)
letouzey
2002-12-03
*
2 bugs: 1) projections pas renommées 2) mutual fixpoints a l'envers
letouzey
2002-11-29
*
Remaniement du pp, suite: vers un renommage modulaire correcte
letouzey
2002-11-28
*
Reorganisation du pretty-print:
letouzey
2002-11-28
*
cosmetique
letouzey
2002-11-05
*
L'extraction c'est magic cvs -n up
letouzey
2002-10-31
*
suite chgt liés aux modules
letouzey
2002-09-24
*
Modules dans COQ\!\!\!\!
coq
2002-08-02
*
reparation d'un bug (dummy_lams -> anonym_lams) + chgmt structutr d'un ml_type
letouzey
2002-07-24
*
Gros Remaniement Extraction:
letouzey
2002-07-16
*
extraction vers scheme
letouzey
2002-06-07
*
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
*
remplacement des deux constants prop/arity par une seule dummy + pretty-print...
letouzey
2002-03-19
*
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
*
suite et fin (?) de haskell: gestion des modules, mise en place du'un test
letouzey
2002-02-15
*
debut de gestion des open pour extraction modulaire
letouzey
2002-02-15
*
qq inline manuels (sigS_rec ...) + utilisation de library_part
letouzey
2002-02-14
[next]