aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/success
Commit message (Expand)AuthorAge
* *** empty log message ***Gravatar herbelin2002-02-28
* *** empty log message ***Gravatar herbelin2002-01-25
* Ajout test de Pierre CrégutGravatar herbelin2002-01-21
* *** empty log message ***Gravatar herbelin2002-01-18
* *** empty log message ***Gravatar herbelin2002-01-18
* Ajout d'un test sur les anonymes dépendant dans des arguments implicitesGravatar herbelin2002-01-16
* Test le filtrage dépendant vers l'avantGravatar herbelin2002-01-15
* *** empty log message ***Gravatar herbelin2001-12-21
* Ajout d'un exemple de ChristineGravatar herbelin2001-12-21
* MAJ GrammarGravatar herbelin2001-12-19
* NatRing (2ème)Gravatar herbelin2001-12-19
* NatRingGravatar herbelin2001-12-19
* Un peu plus d'inférence des ? traitée par le CasesGravatar herbelin2001-12-19
* *** empty log message ***Gravatar herbelin2001-12-13
* Test des coercions dans les motifsGravatar herbelin2001-12-11
* *** empty log message ***Gravatar herbelin2001-11-21
* La synthèse des '?' dans l'exemple avec un let était un peu trop ambitieuse...Gravatar herbelin2001-11-21
* Un bug dans le scriptGravatar herbelin2001-11-21
* Sur la cumulativité dans les tactiquesGravatar herbelin2001-11-21
* Nouveaux exemplesGravatar herbelin2001-11-21
* *** empty log message ***Gravatar herbelin2001-11-20
* *** empty log message ***Gravatar herbelin2001-11-16
* Quelques tests sur le let-inGravatar herbelin2001-11-08
* *** empty log message ***Gravatar herbelin2001-10-15
* Test compatibilité V6 pour les filtrages avec let-inGravatar herbelin2001-10-15
* Ces fichiers repassent (y restait un bug dans l'inférence du prédicat)Gravatar herbelin2001-10-03
* Tests de Cases avec définitions localesGravatar herbelin2001-10-03
* Tests noms longs de modulesGravatar herbelin2001-10-01
* ajout d'un fichier test pour setoidesGravatar clrenard2001-09-25
* Vérification de la syntaxe des optionsGravatar herbelin2001-09-21
* Test inférence prédicat en présence d'universGravatar herbelin2001-09-20
* Refine et let-inGravatar filliatr2001-09-20
* Quelques signes extérieurs de la sémantique de Remark, question visibilitéGravatar herbelin2001-09-19
* Ces fichiers décrivent des comportements peut-être souhaités mais actuelle...Gravatar herbelin2001-09-19
* Syntaxe des HintsGravatar herbelin2001-09-13
* Bug inférence du prédicat en présence de K-rédexGravatar herbelin2001-06-25
* Fix d'un bug de TautoGravatar delahaye2001-06-15
* Ajout de deux anciens bugsGravatar delahaye2001-06-05
* Oubli d'hypotheses pour faire fonctionner les exemplesGravatar herbelin2001-05-12
* Oubli d'hypotheses pour faire fonctionner les exemplesGravatar herbelin2001-05-12
* test Fourier, DiscrRGravatar mayero2001-04-20
* Mise a la norme lexicaleGravatar mohring2001-04-20
* Decomposition de CasesGravatar mohring2001-04-20
* *** empty log message ***Gravatar mohring2001-04-20
* Tests pour Field avec les nombres reelsGravatar delahaye2001-04-20
* Ajout de la ligne d'etat pour CVSGravatar delahaye2001-04-20
* Bug rapporte par Randy en Mars 2000Gravatar herbelin2001-04-11
* entetesGravatar filliatr2001-03-15
* *** empty log message ***Gravatar herbelin2001-03-14
* Ajout syntaxe zarithGravatar herbelin2001-03-14