aboutsummaryrefslogtreecommitdiff
path: root/contrib/extraction/test
AgeCommit message (Expand)Author
2002-07-16majletouzey
2002-04-12maj test des realsletouzey
2002-04-08ajout du mange-tout d'argument en ocaml + error en Haskell pour la constante ...letouzey
2002-04-05mise jourfilliatr
2002-03-26Refonte complete de la génération des types MLletouzey
2002-03-21reparation du test des realsletouzey
2002-03-21deux fichiers supplementaires de customisation d'extractionletouzey
2002-03-21changement du test extraction suite aux modif ininingletouzey
2002-03-04Big commit extraction:letouzey
2002-02-15suite et fin (?) de haskell: gestion des modules, mise en place du'un testletouzey
2002-02-14qq inline manuels (sigS_rec ...) + utilisation de library_partletouzey
2002-02-06gros changement dans mlutil.ml: ajout d'une elimination globale des propletouzey
2002-01-31adaptation de l'extraction aux changements de Christine concernant rec/rect e...letouzey
2001-12-19debranchement du test sur les Realsletouzey
2001-12-10correction de bugs concernant la gestion des modules. debranchement du test d...letouzey
2001-11-21remise au gout du jour du repertoire theories/Sorting de la V6.3letouzey
2001-11-13Moins de fichiers avec des axiomsletouzey
2001-11-07Refonte du fichier mlutil.ml. Correction d'un bug d'optim caseletouzey
2001-11-06suite des testsletouzey
2001-11-05refonte du testletouzey
2001-11-03changement epsilonesqueletouzey
2001-11-03retablissement de l'optim case constantletouzey
2001-11-03ajout du script qualify2open qui met des open Truc en debut de fichierletouzey
2001-10-26Fin de mise en place de l'option Optimize. Reorganisation du pretty-print. ET...letouzey
2001-10-22chambardement important des fichiers auxiliaires. Nouvelle syntaxe pour les o...letouzey
2001-09-20changements mineurs du testletouzey
2001-09-19adaptation a la nouvelle syntaxe Extract Inlined Constantletouzey
2001-09-10changement du make depend en vu du make realsletouzey
2001-06-222 bugs: typevarlist pour inductifs + args pour flexiblesletouzey
2001-05-14mise en place extraction haskellfilliatr
2001-05-09nettoyage extractionfilliatr
2001-04-25make reals prend en compte tous les .vo de theories/Realsfilliatr
2001-04-24TODO in v.o., test/Makefile moins pire, README avec refletouzey
2001-04-24Ajout du .dependmohring
2001-04-24Retire theories/Nummohring
2001-04-24Fin d'optimisation (cas modules) + warning pour coind & ocamlletouzey
2001-04-23mise a jourletouzey
2001-04-23realisation des realsletouzey
2001-04-23Remaniement Makefile de test. make reals possibleletouzey
2001-04-19scripts; extraction False_recfilliatr
2001-04-19blindage False_recfilliatr
2001-04-19modifs des scripts de test autofilliatr
2001-04-19script de bench automatique pour extractionletouzey
2001-04-13eliminiation des singletons du genre sig + diversletouzey
2001-03-30repertoire pour les tests d'extractionfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-06 06:28:17 +0000