aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/failure
Commit message (Expand)AuthorAge
...
* Correction bug #1302Gravatar herbelin2007-01-17
* test condition de gardeGravatar barras2006-12-13
* Check that sort-polymorphic inductive types is not too laxGravatar herbelin2006-10-27
* Cette dérivation de paradoxe passait en V8.1betaGravatar herbelin2006-10-27
* Adaptation des tests suite à la modification de Rewrite .. in (r9201)Gravatar notin2006-10-13
* + Changing "in <hyp>" to "in <clause>" (no at, no InValue and noGravatar jforest2006-08-22
* Stricte positivité en présence de types inductifs imbriqués avec paramètr...Gravatar herbelin2006-06-23
* Deux vérifications que le polymorphisme de sorte des inductifs ne fonctionne...Gravatar herbelin2006-06-22
* Correction trou de typage des éliminations d'inductifs introduit dans commit...Gravatar herbelin2006-05-13
* Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '...Gravatar notin2006-04-28
* Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8Gravatar herbelin2005-12-21
* cf ltac4.vGravatar herbelin2005-12-21
* deplacement params_indGravatar mohring2005-11-03
* test-suite/output/Notations.outGravatar herbelin2004-11-17
* *** empty log message ***Gravatar herbelin2004-10-17
* Nouvelle en-têteGravatar herbelin2004-07-16
* ajout test de non-regression Clear d'une def localeGravatar barras2003-12-17
* Cacher les .v8Gravatar herbelin2003-10-10
* test d'implicite incorrect depuis que eq porte sur TypeGravatar barras2003-09-23
* *** empty log message ***Gravatar herbelin2003-01-20
* Tests ltacGravatar herbelin2003-01-19
* Test for redundant clausesGravatar herbelin2002-08-15
* Locate n'échoue plus: déplacement de Remark1 et Remark2 dans outputGravatar herbelin2002-06-07
* *** empty log message ***Gravatar herbelin2002-04-12
* *** empty log message ***Gravatar herbelin2001-11-21
* Sur l'exahustivité du filtrageGravatar herbelin2001-11-21
* Test soumis par Randy PollackGravatar herbelin2001-10-17
* Test de dépendances de ClearBodyGravatar herbelin2001-10-05
* Quelques signes extérieurs de la sémantique de Remark, question visibilitéGravatar herbelin2001-09-19
* Tests l'incohérence des universGravatar herbelin2001-09-09
* MAJGravatar herbelin2001-04-25
* Erreurs de CasesGravatar mohring2001-04-20
* Ajout d'erreurs sur le Case avec branche redondanteGravatar mohring2001-04-20
* ajout de testsGravatar mohring2001-04-13
* entetesGravatar filliatr2001-03-15
* *** empty log message ***Gravatar herbelin2001-03-14
* Pas d'Apply dans TautoGravatar delahaye2001-02-05
* Ajout du test de TautoGravatar delahaye2001-02-05
* Ajout de testsGravatar mohring2000-12-12
* tests automatiquesGravatar herbelin2000-12-09
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-18 01:10:03 +0000