aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/bugs
Commit message (Expand)AuthorAge
...
* Ajout d'un test pour le bug #1779Gravatar notin2008-01-23
* Ajout d'un test pour le mode déclaratif + test pour le bug #1776Gravatar notin2008-01-23
* Correction du bug #1754Gravatar notin2008-01-21
* Better resolution of implicit parameters in typeclass binders, add extensiona...Gravatar msozeau2008-01-02
* Ajouts de quelques tests sur les bugsGravatar notin2007-12-21
* Ajout d'un test pour le bug #1100Gravatar notin2007-12-12
* Test pour le bug #1754Gravatar notin2007-12-11
* Correction bug 1718 (lazy delta unfolding used to miss delta on rels and vars)Gravatar herbelin2007-10-04
* Correction d'un bug dans check + ajout de testsGravatar notin2007-09-21
* - Fixing bug 1703 ("intros until n" falls back on the variable name whenGravatar herbelin2007-09-21
* Correction du bug #1634 + ajout de bugs dans la test-suiteGravatar notin2007-08-22
* Correction du bug #1322Gravatar notin2007-08-16
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 12:21:01 +0000