aboutsummaryrefslogtreecommitdiff
path: root/contrib/extraction
AgeCommit message (Expand)Author
2001-09-19ajout du fichier CHANGESletouzey
2001-09-19adaptation a la nouvelle syntaxe Extract Inlined Constantletouzey
2001-09-19Changements de Extraction truc et Recursive Extractionletouzey
2001-09-19Deux nouvelles optimisations pour Casesletouzey
2001-09-19Verification supplementaire avant optimisation singletonletouzey
2001-09-18travail sur le Extract Constantletouzey
2001-09-10changement du make depend en vu du make realsletouzey
2001-09-10bug de rename_global modulaire corrige'letouzey
2001-08-10Parsingherbelin
2001-07-21Remplacement du tableau du nombre d'args utiles pour la réduction des Cases ...herbelin
2001-07-02Nettoyage/restructuration des ensembles d'indicateurs de réductionsherbelin
2001-06-222 bugs: typevarlist pour inductifs + args pour flexiblesletouzey
2001-05-25Oups: flingait les Dglob dans optimizeletouzey
2001-05-22majletouzey
2001-05-22suite du musée des horreursletouzey
2001-05-22ordre des inductifs + axiome-typeletouzey
2001-05-14mise en place extraction haskellfilliatr
2001-05-11bug castletouzey
2001-05-10exemples Magicletouzey
2001-05-10retouche de extract_inductive_declarationletouzey
2001-05-09nettoyage extractionfilliatr
2001-05-09cleanup + comments, toujoursletouzey
2001-05-04commentairesletouzey
2001-05-03Changement de la structure des points fixesbarras
2001-05-02commentaires sur renommages des var dans extract_typeletouzey
2001-04-30cleanup, commentsletouzey
2001-04-30ocamlwebfilliatr
2001-04-30commentaires mlutil + binders_fold en coursletouzey
2001-04-25make reals prend en compte tous les .vo de theories/Realsfilliatr
2001-04-24README avec ref (2)letouzey
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-24Correction typosmohring
2001-04-24ajout d'un fichier READMEletouzey
2001-04-24Fin d'optimisation (cas modules) + warning pour coind & ocamlletouzey
2001-04-24cofix_warning dans les parametres d'extractionfilliatr
2001-04-23forme codefilliatr
2001-04-23mise a jourletouzey
2001-04-23realisation des realsletouzey
2001-04-23Gros nain avec de Bruijn...letouzey
2001-04-23diversfilliatr
2001-04-23nettoyagefilliatr
2001-04-23Uncurryfy_ast inutile depuis l'eta-expansion dans extraction.ml.letouzey
2001-04-23Remaniement Makefile de test. make reals possibleletouzey
2001-04-20optimizations extractionfilliatr
2001-04-19scripts; extraction False_recfilliatr
2001-04-19blindage False_recfilliatr
2001-04-19cofix; axiomes; eta-expansions pour variables de types mal generalisees (en c...filliatr
2001-04-19synchonization des tables d'extractionfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-03 02:59:33 +0000