aboutsummaryrefslogtreecommitdiff
path: root/test-suite/success
AgeCommit message (Expand)Author
2007-01-22Correction pour le rapport de bug #1325 par rétablissement duherbelin
2007-01-12Suite au mail de Lionel a propos du Makefile: letouzey
2006-12-13Alignement de la politique de renommage de rename_bound_var (utilisé pourherbelin
2006-12-13Dépliage du terme d'induction avant suppression quand celui-ci est unherbelin
2006-12-12Correction bug #1041 (double cause : non évitement des noms existants enherbelin
2006-11-19Raffinement de l'unification de "apply": mémorisation de certainsherbelin
2006-11-13Correction typoherbelin
2006-11-10Ajout de dépliage de l'énoncé, si besoin est, dans apply inherbelin
2006-11-10Correction d'un bug refineherbelin
2006-10-30Débranchement du polymorphisme de sorte sur les définitions dans Typeherbelin
2006-10-30missing Require LegacyRfieldbarras
2006-10-29Compatibilité du polymorphisme de constantes avec les sections.herbelin
2006-10-25Applatissement des noeuds application vide dans le filtrage Ltac (ex:herbelin
2006-10-24Test apply inherbelin
2006-10-21Le calcul de la classe dans class_args_of ne suivait pas celui de class_ofherbelin
2006-10-21Correction d'un vieux bug de coercion avec éta-expansion (utilisationherbelin
2006-10-13Adaptation des tests suite à la modification de Rewrite .. in (r9201)notin
2006-10-02nouveau ring/fieldbarras
2006-10-01Une passe sur l'injection et la discrimination...herbelin
2006-09-23Correction d'un bug de coercion de pattern introduit dans la 8.1betaherbelin
2006-09-23Wish #1187 granted (support for canonical structures that are recordsherbelin
2006-09-22Test Tactic Notationherbelin
2006-09-15Report de l'heuristique d'unification premier ordre flexible/rigideherbelin
2006-09-12Ajout unification pattern dans l'algorithme d'unification desherbelin
2006-09-01Extension et réorganisation de l'interprétation des (co-)points fixesherbelin
2006-08-28Diverses modifications autour de l'unification modulo conversion:herbelin
2006-08-22+ Changing "in <hyp>" to "in <clause>" (no at, no InValue and nojforest
2006-08-22remove an orphan comment (attached to a piece of code that was removed).bertot
2006-08-17Checks that abstract setoid rings can be defined in a module and the tacticbertot
2006-07-07Correction bug 1172 + correction en passant de la taille des paramètres de f...herbelin
2006-07-04functional inversion now takes a quatified hypothesis as first argumentjforest
2006-07-04- completely new version of "functional inversion" using inversion onjforest
2006-07-03Test des motifs disjonctifs multiplesherbelin
2006-06-27Correction bug #1182 (ajout refresh_universe car le polymorphisme de sorte de...herbelin
2006-06-23modifs de test-suite suite au passage des graphes de Function dans Typejforest
2006-06-06+ ameliorating the tactic "functional induction"jforest
2006-05-31Fusion if.v et If.v (MacOS X ne sait pas distinguer la casse)herbelin
2006-05-31Fusion destruct.v et Destruct.v (MacOS X ne sait pas distinguer la casseherbelin
2006-05-28Adaptation au passage de vector dans Typeherbelin
2006-05-28Adaptation au passage de option dans Typeherbelin
2006-05-22encore un exemple ne marchant pas, ni avec omega ni avec romegaletouzey
2006-05-19tests de Romegaletouzey
2006-05-10Centralisation de la détection lettre/symbole par le lexeur dans les plages ...herbelin
2006-05-05Vieux bug de fin 2004 gardé pour mémoireherbelin
2006-04-28Ajout bug #1102herbelin
2006-04-28Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '...notin
2006-04-15Tests notationsherbelin
2006-03-22- Correction bug calcul mind_consnrealargs, introduit à la révisionherbelin
2006-03-05Ajout test relatif au bug #984herbelin
2006-03-02Ajout test bug 1089herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-02 15:52:59 +0000