index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
test-suite
Commit message (
Expand
)
Author
Age
*
*** empty log message ***
herbelin
2001-12-13
*
Test des coercions dans les motifs
herbelin
2001-12-11
*
*** empty log message ***
herbelin
2001-11-21
*
Possibilité d'appeler check avec l'option -byte
herbelin
2001-11-21
*
La synthèse des '?' dans l'exemple avec un let était un peu trop ambitieuse...
herbelin
2001-11-21
*
Un bug dans le script
herbelin
2001-11-21
*
Sur l'exahustivité du filtrage
herbelin
2001-11-21
*
Sur la cumulativité dans les tactiques
herbelin
2001-11-21
*
Nouveaux exemples
herbelin
2001-11-21
*
*** empty log message ***
herbelin
2001-11-20
*
*** empty log message ***
herbelin
2001-11-16
*
Quelques tests sur le let-in
herbelin
2001-11-08
*
Test syntaxe des constructions de l'état initial
herbelin
2001-10-17
*
Test soumis par Randy Pollack
herbelin
2001-10-17
*
Mise en place d'un test de correction de la sortie de commandes Coq
herbelin
2001-10-17
*
Commit par erreur
herbelin
2001-10-17
*
Test syntaxe des entiers relatifs
herbelin
2001-10-17
*
Test syntaxe des réels
herbelin
2001-10-17
*
*** empty log message ***
herbelin
2001-10-15
*
Test compatibilité V6 pour les filtrages avec let-in
herbelin
2001-10-15
*
Test de dépendances de ClearBody
herbelin
2001-10-05
*
Ces fichiers repassent (y restait un bug dans l'inférence du prédicat)
herbelin
2001-10-03
*
Tests de Cases avec définitions locales
herbelin
2001-10-03
*
Tests noms longs de modules
herbelin
2001-10-01
*
ajout d'un fichier test pour setoides
clrenard
2001-09-25
*
Vérification de la syntaxe des options
herbelin
2001-09-21
*
Test inférence prédicat en présence d'univers
herbelin
2001-09-20
*
Refine et let-in
filliatr
2001-09-20
*
Quelques signes extérieurs de la sémantique de Remark, question visibilité
herbelin
2001-09-19
*
Ces fichiers décrivent des comportements peut-être souhaités mais actuelle...
herbelin
2001-09-19
*
Comportements peut-être souhaités mais en tout cas non officiellement pris ...
herbelin
2001-09-19
*
Syntaxe des Hints
herbelin
2001-09-13
*
Tests l'incohérence des univers
herbelin
2001-09-09
*
Bug inférence du prédicat en présence de K-rédex
herbelin
2001-06-25
*
Fix d'un bug de Tauto
delahaye
2001-06-15
*
Ajout de deux anciens bugs
delahaye
2001-06-05
*
Oubli d'hypotheses pour faire fonctionner les exemples
herbelin
2001-05-12
*
Oubli d'hypotheses pour faire fonctionner les exemples
herbelin
2001-05-12
*
MAJ
herbelin
2001-04-25
*
test Fourier, DiscrR
mayero
2001-04-20
*
Mise a la norme lexicale
mohring
2001-04-20
*
Decomposition de Cases
mohring
2001-04-20
*
Erreurs de Cases
mohring
2001-04-20
*
*** empty log message ***
mohring
2001-04-20
*
Ajout d'erreurs sur le Case avec branche redondante
mohring
2001-04-20
*
Tests pour Field avec les nombres reels
delahaye
2001-04-20
*
Ajout de la ligne d'etat pour CVS
delahaye
2001-04-20
*
ajout de tests
mohring
2001-04-13
*
Bug rapporte par Randy en Mars 2000
herbelin
2001-04-11
*
entetes
filliatr
2001-03-15
[next]