aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite
Commit message (Expand)AuthorAge
* Test syntaxe des constructions de l'état initialGravatar herbelin2001-10-17
* Test soumis par Randy PollackGravatar herbelin2001-10-17
* Mise en place d'un test de correction de la sortie de commandes CoqGravatar herbelin2001-10-17
* Commit par erreurGravatar herbelin2001-10-17
* Test syntaxe des entiers relatifsGravatar herbelin2001-10-17
* Test syntaxe des réelsGravatar herbelin2001-10-17
* *** empty log message ***Gravatar herbelin2001-10-15
* Test compatibilité V6 pour les filtrages avec let-inGravatar herbelin2001-10-15
* Test de dépendances de ClearBodyGravatar herbelin2001-10-05
* 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
* Comportements peut-être souhaités mais en tout cas non officiellement pris ...Gravatar herbelin2001-09-19
* Syntaxe des HintsGravatar herbelin2001-09-13
* Tests l'incohérence des universGravatar herbelin2001-09-09
* 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
* MAJGravatar herbelin2001-04-25
* test Fourier, DiscrRGravatar mayero2001-04-20
* Mise a la norme lexicaleGravatar mohring2001-04-20
* Decomposition de CasesGravatar mohring2001-04-20
* Erreurs de CasesGravatar mohring2001-04-20
* *** empty log message ***Gravatar mohring2001-04-20
* Ajout d'erreurs sur le Case avec branche redondanteGravatar mohring2001-04-20
* Tests pour Field avec les nombres reelsGravatar delahaye2001-04-20
* Ajout de la ligne d'etat pour CVSGravatar delahaye2001-04-20
* ajout de testsGravatar mohring2001-04-13
* 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
* Ajout d'un test sur EAutoGravatar mohring2001-02-27
* Test syntaxe avec motifs numériquesGravatar herbelin2001-02-14
* EqDecideGravatar filliatr2001-02-06
* Ajout d'un exempleGravatar delahaye2001-02-06
* D'autres exemplesGravatar delahaye2001-02-05
* Pas d'Apply dans TautoGravatar delahaye2001-02-05
* Ajout du test de TautoGravatar delahaye2001-02-05
* Tests pourGravatar herbelin2001-01-21
* test univers, inductifs et sectionsGravatar filliatr2000-12-15
* Fichier de test pour les CasesGravatar herbelin2000-12-14
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-11 17:01:06 +0000