aboutsummaryrefslogtreecommitdiff
path: root/test-suite/bugs/opened
AgeCommit message (Expand)Author
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2008-07-17Uniformisation du format des messages d'erreur (commencent par uneherbelin
2008-06-03Temporarily disabling automatic test for bug 1338.vnotin
2008-05-07Mises à jour test-suite + amélioration message d'erreur pour non-bug #1757herbelin
2008-04-17Bug squashing day !msozeau
2008-04-15Mises à jour bugs, CHANGES, code mortherbelin
2008-03-28Correction du bug 1816 (ajout d'un lemme dans Znat) et suppressionnotin
2008-03-26Diverses petites modifs dans la test-suite:notin
2008-02-01Ajout de 2 testsnotin
2008-01-24Fermeture du bug #1754notin
2008-01-23Ajout d'un test pour le mode déclaratif + test pour le bug #1776notin
2008-01-21Correction du bug #1754notin
2007-12-21Ajouts de quelques tests sur les bugsnotin
2007-12-11Test pour le bug #1754notin
2007-09-21Correction d'un bug dans check + ajout de testsnotin
2007-08-22Correction du bug #1634 + ajout de bugs dans la test-suitenotin
2007-08-16Correction du bug #1680: ajout d'un champ avoid_ids dans interp_sign;notin
2007-08-10Modification de la test suite pour intégrer des tests spécifiques auxnotin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 18:19:18 +0000