aboutsummaryrefslogtreecommitdiff
path: root/contrib/extraction
AgeCommit message (Expand)Author
2003-11-12TODOletouzey
2003-11-12Extraction Module M devient simplement Extraction Mletouzey
2003-11-10le pb du <<.v vu comme module>> engendre maintenant une erreurletouzey
2003-11-10message informant de l'ecriture d'un fichier extraitletouzey
2003-11-10révision du traitement des axiomes non réalisésletouzey
2003-11-10essai d'extraction sous un moduleletouzey
2003-11-09factorisation de (recursive) libraryletouzey
2003-10-10changement nouvelle syntaxe (pt fixes)barras
2003-10-07Correction du bug 335 et Export/Require Export dans un modulecoq
2003-10-06pour ocamlwebletouzey
2003-10-03Cacher les .v8herbelin
2003-09-22traducteur: affiche les commentaires a l'interieur des commandesbarras
2003-09-05bug dans calcul nb d'occurrencesletouzey
2003-08-28correction d'un stack overflow possible (PR#320)letouzey
2003-08-14Traduction mlnamesherbelin
2003-07-10bug typage du cases/identity: optim off si inductif avec varsletouzey
2003-07-10renommage des modules 1er niveau en monolithiqueletouzey
2003-07-08 bug match matchletouzey
2003-06-12enieme correction du nommage modulaireletouzey
2003-06-12fin de l'affichage des signatures de modules dans les *.mlletouzey
2003-06-08interaction entre fun/case permut et assert falseletouzey
2003-05-30oupsletouzey
2003-05-29:= dans un record engendre un LetIn qui n'etait pas géréletouzey
2003-05-28gestion plus fine des beta-redex lineaires (cf nb_occur_match)letouzey
2003-04-28bug concernant les projecteurs de Record avec args logiquesletouzey
2003-04-28adaptation a Acc_iterletouzey
2003-04-17Ooopsletouzey
2003-04-17temporaireletouzey
2003-04-16BIG MAJ Extraction:letouzey
2003-03-25Extract Constant marche avec les axiomes schémas de typesletouzey
2003-03-11pour coq-ideletouzey
2003-03-11pour ocamlwebletouzey
2003-02-21bugs/améliorations trouvés via FTAletouzey
2003-02-03maj status de l'extraction des modulesletouzey
2003-02-03hack horrible pour renommage dans Modules Types et Functeursletouzey
2003-02-03encore un long_knletouzey
2003-02-02plus d'environment fixe cur_env mais un environment evolutifletouzey
2003-01-30fignolageletouzey
2003-01-30pb d'hier resolu. Recommitletouzey
2003-01-29apres le backtrack precedent, remise de trois points precis et sursletouzey
2003-01-29Ca a tout pété -> Bactrack a la version d'hierletouzey
2003-01-29affichage module et module typeletouzey
2003-01-29affichage module et module typeletouzey
2003-01-29affichage module et module typeletouzey
2003-01-28workaround en attendant traitement reel des modules typesletouzey
2003-01-28amelioration du pretty-print des modulesletouzey
2003-01-28nouvelle gestion des constantes de typeletouzey
2003-01-23oubli des add_recursors singleton logiquesletouzey
2003-01-23maj V7.4letouzey
2003-01-22petit bug pp haskellletouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 16:06:55 +0000