coq - The formal proof system

Age	Commit message (Expand)	Author
2002-03-20	reorganisation des simplifications: letin eta-expansé apres le kill-dummy	letouzey
2002-03-19	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-15	epsilon	letouzey
2002-03-15	gros commit: principalement ajout des lambdas arity + leur optimisation en te...	letouzey
2002-03-05	cas des constructeurs singletons. Messages d'erreur. Revision de test_extract...	letouzey
2002-03-04	Big commit extraction:	letouzey
2002-02-15	suite et fin (?) de haskell: gestion des modules, mise en place du'un test	letouzey
2002-02-14	qq inline manuels (sigS_rec ...) + utilisation de library_part	letouzey
2002-02-12	suppression de la condition de la permutation case/fun	letouzey
2002-02-12	Test & correction de la production de code Haskell	letouzey
2002-02-06	gros changement dans mlutil.ml: ajout d'une elimination globale des prop	letouzey
2002-02-05	Ajout d'optimisations locales kill_prop	letouzey
2001-12-21	maj CHANGES extraction + bug extraction & _	letouzey
2001-12-13	compat ocaml 3.03	filliatr
2001-12-10	correction de bugs concernant la gestion des modules. debranchement du test d...	letouzey
2001-11-20	iota généralisé	letouzey
2001-11-14	Revolution culturelle: suppression des arguments prop	letouzey
2001-11-12	suite du petit oups	letouzey
2001-11-12	Refonte de extraction.ml. Traitement dans mlutil.ml des Empty Inductive (Texn)	letouzey
2001-11-08	Deplacement de l'optim singleton depuis extraction vers mlutil. Autres modifs...	letouzey
2001-11-08	epsilon	letouzey
2001-11-07	Refonte du fichier mlutil.ml. Correction d'un bug d'optim case	letouzey
2001-11-05	optimisation consistant a parfois permuter case et fun	letouzey
2001-11-05	GROS COMMIT:	barras
2001-11-03	retablissement de l'optim case constant	letouzey
2001-11-02	suite des modifs concernant les optimisations divers	letouzey
2001-11-01	les fixpoints sont de nouveau bien optimisés	letouzey
2001-10-31	suite de l'optimisation des Fix	letouzey
2001-10-31	correction du debut d'optimisation du Fix	letouzey
2001-10-31	multiples bricoles. Cf mon TODO papier	letouzey
2001-10-30	legeres modifs pretty-print de l'extractions	letouzey
2001-10-26	Fin de mise en place de l'option Optimize. Reorganisation du pretty-print. ET...	letouzey
2001-10-25	correctif bug des de Bruijn du Double Case	letouzey
2001-10-24	seisme suite. correction bugs	letouzey
2001-10-23	suite du seisme	letouzey
2001-10-22	chambardement important des fichiers auxiliaires. Nouvelle syntaxe pour les o...	letouzey
2001-10-01	correction de deux petits bugs: case_identité trop fort et Anomaly dans le t...	letouzey
2001-09-19	Deux nouvelles optimisations pour Cases	letouzey
2001-09-19	Verification supplementaire avant optimisation singleton	letouzey
2001-09-18	travail sur le Extract Constant	letouzey
2001-06-22	2 bugs: typevarlist pour inductifs + args pour flexibles	letouzey
2001-05-25	Oups: flingait les Dglob dans optimize	letouzey
2001-05-14	mise en place extraction haskell	filliatr
2001-05-03	Changement de la structure des points fixes	barras
2001-05-02	commentaires sur renommages des var dans extract_type	letouzey
2001-04-30	cleanup, comments	letouzey
2001-04-30	commentaires mlutil + binders_fold en cours	letouzey
2001-04-23	forme code	filliatr
2001-04-23	Gros nain avec de Bruijn...	letouzey