index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
contrib
/
extraction
/
mlutil.ml
Commit message (
Expand
)
Author
Age
*
nouvelle commande Set Extraction Flag: reglage fins des optims
letouzey
2004-03-24
*
correction d'un bug faisant inliner minus, mult, ...
letouzey
2004-03-22
*
petit bug avec Extraction Optimize
letouzey
2004-02-13
*
révision du traitement des axiomes non réalisés
letouzey
2003-11-10
*
bug dans calcul nb d'occurrences
letouzey
2003-09-05
*
bug typage du cases/identity: optim off si inductif avec vars
letouzey
2003-07-10
*
interaction entre fun/case permut et assert false
letouzey
2003-06-08
*
oups
letouzey
2003-05-30
*
gestion plus fine des beta-redex lineaires (cf nb_occur_match)
letouzey
2003-05-28
*
adaptation a Acc_iter
letouzey
2003-04-28
*
BIG MAJ Extraction:
letouzey
2003-04-16
*
bugs/améliorations trouvés via FTA
letouzey
2003-02-21
*
Extraction des modules, enfin !
letouzey
2003-01-22
*
suppression de l'archive cvs d'un bout de debug
letouzey
2002-12-19
*
stupide inlining des construsteurs
letouzey
2002-12-18
*
chamboulement du codage des indcutifs extraits; deplacements des tables; ...
letouzey
2002-12-09
*
reorganisation des recherches de ref dans ml_decl
letouzey
2002-12-05
*
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
*
Re-Oups
letouzey
2002-11-28
*
Oups
letouzey
2002-11-28
*
Reorganisation du pretty-print:
letouzey
2002-11-28
*
un bug concernant l'expansion des Map_rec si Map n'est pas ouvert
letouzey
2002-11-04
*
nettoyage et reorganisation
letouzey
2002-11-04
*
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
*
reparation temporaire(?) a coup de MLdummy'
letouzey
2002-07-17
*
Souci avec example fbidon...
letouzey
2002-07-16
*
Gros Remaniement Extraction:
letouzey
2002-07-16
*
petit bug avec dummy_lams
letouzey
2002-04-12
*
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
*
modification de l'auto-inlining
letouzey
2002-03-21
*
reparation du controle de l'apparition des termes
letouzey
2002-03-20
*
reorganisation des simplifications: letin eta-expansé apres le kill-dummy
letouzey
2002-03-20
*
bug optimize_fix fait trop tot
letouzey
2002-03-19
*
remplacement des deux constants prop/arity par une seule dummy + pretty-print...
letouzey
2002-03-19
*
epsilon
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
*
suite et fin (?) de haskell: gestion des modules, mise en place du'un test
letouzey
2002-02-15
*
qq inline manuels (sigS_rec ...) + utilisation de library_part
letouzey
2002-02-14
*
suppression de la condition de la permutation case/fun
letouzey
2002-02-12
*
Test & correction de la production de code Haskell
letouzey
2002-02-12
*
gros changement dans mlutil.ml: ajout d'une elimination globale des prop
letouzey
2002-02-06
*
Ajout d'optimisations locales kill_prop
letouzey
2002-02-05
*
maj CHANGES extraction + bug extraction & _
letouzey
2001-12-21
[next]