aboutsummaryrefslogtreecommitdiff
path: root/test-suite
AgeCommit message (Expand)Author
2002-04-17Quelques bugs avec inject_natherbelin
2002-04-12*** empty log message ***herbelin
2002-02-28*** empty log message ***herbelin
2002-01-25Test affichage O de nat dans une expression sur Zherbelin
2002-01-25*** empty log message ***herbelin
2002-01-21Ajout test de Pierre Crégutherbelin
2002-01-18*** empty log message ***herbelin
2002-01-18*** empty log message ***herbelin
2002-01-16Ajout d'un test sur les anonymes dépendant dans des arguments implicitesherbelin
2002-01-15Test le filtrage dépendant vers l'avantherbelin
2001-12-21*** empty log message ***herbelin
2001-12-21Ajout d'un exemple de Christineherbelin
2001-12-19Test sobriété de la réduction de Intuitionherbelin
2001-12-19Test sobriété de la réduction de Intuitionherbelin
2001-12-19MAJ Grammarherbelin
2001-12-19NatRing (2ème)herbelin
2001-12-19NatRingherbelin
2001-12-19Un peu plus d'inférence des ? traitée par le Casesherbelin
2001-12-13*** empty log message ***herbelin
2001-12-11Test des coercions dans les motifsherbelin
2001-11-21*** empty log message ***herbelin
2001-11-21Possibilité d'appeler check avec l'option -byteherbelin
2001-11-21La synthèse des '?' dans l'exemple avec un let était un peu trop ambitieuse...herbelin
2001-11-21Un bug dans le scriptherbelin
2001-11-21Sur l'exahustivité du filtrageherbelin
2001-11-21Sur la cumulativité dans les tactiquesherbelin
2001-11-21Nouveaux exemplesherbelin
2001-11-20*** empty log message ***herbelin
2001-11-16*** empty log message ***herbelin
2001-11-08Quelques tests sur le let-inherbelin
2001-10-17Test syntaxe des constructions de l'état initialherbelin
2001-10-17Test soumis par Randy Pollackherbelin
2001-10-17Mise en place d'un test de correction de la sortie de commandes Coqherbelin
2001-10-17Commit par erreurherbelin
2001-10-17Test syntaxe des entiers relatifsherbelin
2001-10-17Test syntaxe des réelsherbelin
2001-10-15*** empty log message ***herbelin
2001-10-15Test compatibilité V6 pour les filtrages avec let-inherbelin
2001-10-05Test de dépendances de ClearBodyherbelin
2001-10-03Ces fichiers repassent (y restait un bug dans l'inférence du prédicat)herbelin
2001-10-03Tests de Cases avec définitions localesherbelin
2001-10-01Tests noms longs de modulesherbelin
2001-09-25ajout d'un fichier test pour setoidesclrenard
2001-09-21Vérification de la syntaxe des optionsherbelin
2001-09-20Test inférence prédicat en présence d'universherbelin
2001-09-20Refine et let-infilliatr
2001-09-19Quelques signes extérieurs de la sémantique de Remark, question visibilitéherbelin
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 16:08:15 +0000