index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
test-suite
/
bugs
/
opened
Commit message (
Expand
)
Author
Age
*
Addressed bug #2310 and replaced anomaly "unknown meta" raised by "refine"
herbelin
2010-06-13
*
Granting wish #2251 thanks to commit 12900 solved bug 1416.v (which
herbelin
2010-04-07
*
Delete trailing whitespaces in all *.{v,ml*} files
glondu
2009-09-17
*
Uniformisation du format des messages d'erreur (commencent par une
herbelin
2008-07-17
*
Temporarily disabling automatic test for bug 1338.v
notin
2008-06-03
*
Mises à jour test-suite + amélioration message d'erreur pour non-bug #1757
herbelin
2008-05-07
*
Bug squashing day !
msozeau
2008-04-17
*
Mises à jour bugs, CHANGES, code mort
herbelin
2008-04-15
*
Correction du bug 1816 (ajout d'un lemme dans Znat) et suppression
notin
2008-03-28
*
Diverses petites modifs dans la test-suite:
notin
2008-03-26
*
Ajout de 2 tests
notin
2008-02-01
*
Fermeture du bug #1754
notin
2008-01-24
*
Ajout d'un test pour le mode déclaratif + test pour le bug #1776
notin
2008-01-23
*
Correction du bug #1754
notin
2008-01-21
*
Ajouts de quelques tests sur les bugs
notin
2007-12-21
*
Test pour le bug #1754
notin
2007-12-11
*
Correction d'un bug dans check + ajout de tests
notin
2007-09-21
*
Correction du bug #1634 + ajout de bugs dans la test-suite
notin
2007-08-22
*
Correction du bug #1680: ajout d'un champ avoid_ids dans interp_sign;
notin
2007-08-16
*
Modification de la test suite pour intégrer des tests spécifiques aux
notin
2007-08-10