aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/bugs/opened
Commit message (Expand)AuthorAge
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Uniformisation du format des messages d'erreur (commencent par uneGravatar herbelin2008-07-17
* Temporarily disabling automatic test for bug 1338.vGravatar notin2008-06-03
* Mises à jour test-suite + amélioration message d'erreur pour non-bug #1757Gravatar herbelin2008-05-07
* Bug squashing day !Gravatar msozeau2008-04-17
* Mises à jour bugs, CHANGES, code mortGravatar herbelin2008-04-15
* Correction du bug 1816 (ajout d'un lemme dans Znat) et suppressionGravatar notin2008-03-28
* Diverses petites modifs dans la test-suite:Gravatar notin2008-03-26
* Ajout de 2 testsGravatar notin2008-02-01
* Fermeture du bug #1754Gravatar notin2008-01-24
* Ajout d'un test pour le mode déclaratif + test pour le bug #1776Gravatar notin2008-01-23
* Correction du bug #1754Gravatar notin2008-01-21
* Ajouts de quelques tests sur les bugsGravatar notin2007-12-21
* Test pour le bug #1754Gravatar notin2007-12-11
* Correction d'un bug dans check + ajout de testsGravatar notin2007-09-21
* Correction du bug #1634 + ajout de bugs dans la test-suiteGravatar notin2007-08-22
* Correction du bug #1680: ajout d'un champ avoid_ids dans interp_sign;Gravatar notin2007-08-16
* Modification de la test suite pour intégrer des tests spécifiques auxGravatar notin2007-08-10