aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/bugs/closed
Commit message (Expand)AuthorAge
* Mises à jour test-suite + amélioration message d'erreur pour non-bug #1757Gravatar herbelin2008-05-07
* Backtrack on using metas eagerly in auto, only done in "new auto" forGravatar msozeau2008-04-28
* - Fix bug in eterm which was not taking filtered contexts in evars intoGravatar msozeau2008-04-25
* - Correct unification for the rewrite variant of setoid_rewrite,Gravatar msozeau2008-04-21
* - Parameterize unification by two sets of transparent_state, one for openGravatar msozeau2008-04-21
* Bug squashing day !Gravatar msozeau2008-04-17
* Mises à jour bugs, CHANGES, code mortGravatar herbelin2008-04-15
* Fix test-suite files, change conflicting notation "->rel" and the othersGravatar msozeau2008-03-29
* Diverses petites modifs dans la test-suite:Gravatar notin2008-03-26
* 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
* 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
* 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-11-24 18:22:28 +0000