aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/bugs
Commit message (Expand)AuthorAge
* Add the possibility of specifying constants to unfold for typeclassGravatar msozeau2008-03-17
* Misc: Add test for bug 1704, now closed. Add usual syntax for lists inGravatar msozeau2008-03-16
* Fix bugs that were reopened due to the change of setoidGravatar msozeau2008-03-08
* Backport code from command.ml to subtac_command.ml for defininingGravatar msozeau2008-02-08
* Ajout d'un test pour le bug #1787Gravatar notin2008-02-05
* Ajout de 2 testsGravatar notin2008-02-01
* Fermeture du bug #1754Gravatar notin2008-01-24
* 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-05 04:01:29 +0000