aboutsummaryrefslogtreecommitdiff
path: root/test-suite
AgeCommit message (Expand)Author
2001-09-19Ces fichiers décrivent des comportements peut-être souhaités mais actuelle...herbelin
2001-09-19Comportements peut-être souhaités mais en tout cas non officiellement pris ...herbelin
2001-09-13Syntaxe des Hintsherbelin
2001-09-09Tests l'incohérence des universherbelin
2001-06-25Bug inférence du prédicat en présence de K-rédexherbelin
2001-06-15Fix d'un bug de Tautodelahaye
2001-06-05Ajout de deux anciens bugsdelahaye
2001-05-12Oubli d'hypotheses pour faire fonctionner les exemplesherbelin
2001-05-12Oubli d'hypotheses pour faire fonctionner les exemplesherbelin
2001-04-25MAJherbelin
2001-04-20test Fourier, DiscrRmayero
2001-04-20Mise a la norme lexicalemohring
2001-04-20Decomposition de Casesmohring
2001-04-20Erreurs de Casesmohring
2001-04-20*** empty log message ***mohring
2001-04-20Ajout d'erreurs sur le Case avec branche redondantemohring
2001-04-20Tests pour Field avec les nombres reelsdelahaye
2001-04-20Ajout de la ligne d'etat pour CVSdelahaye
2001-04-13ajout de testsmohring
2001-04-11Bug rapporte par Randy en Mars 2000herbelin
2001-03-15entetesfilliatr
2001-03-14*** empty log message ***herbelin
2001-03-14Ajout syntaxe zarithherbelin
2001-02-27Ajout d'un test sur EAutomohring
2001-02-14Test syntaxe avec motifs numériquesherbelin
2001-02-06EqDecidefilliatr
2001-02-06Ajout d'un exempledelahaye
2001-02-05D'autres exemplesdelahaye
2001-02-05Pas d'Apply dans Tautodelahaye
2001-02-05Ajout du test de Tautodelahaye
2001-01-21Tests pourherbelin
2000-12-15test univers, inductifs et sectionsfilliatr
2000-12-14Fichier de test pour les Casesherbelin
2000-12-12Ajout de testsmohring
2000-12-09tests automatiquesherbelin
2000-07-20tests Refinefilliatr
1999-12-12renommage (nom de module invalide)filliatr
1999-12-05fichiers de benchfilliatr
1999-09-08fichier de test d'inductifs pour minicoqfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-15 21:24:10 +0000