aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/bugs/closed
Commit message (Expand)AuthorAge
* Test for bug #3487.Gravatar Pierre-Marie Pédrot2014-11-30
* Test of bug #3682.Gravatar Pierre-Marie Pédrot2014-11-30
* Bug #3804 is actually closed (thanks to Jason Gross for the notification).Gravatar Xavier Clerc2014-11-25
* Pass around information on the use of template polymorphism forGravatar Matthieu Sozeau2014-11-23
* Test for closed #2713 and #2876.Gravatar Hugo Herbelin2014-11-22
* Adding test for bug #3326.Gravatar Pierre-Marie Pédrot2014-11-21
* Adding test for bug #3424.Gravatar Pierre-Marie Pédrot2014-11-21
* Cleaning up closed bugs in test-suite.Gravatar Pierre-Marie Pédrot2014-11-21
* Test for bug #3788.Gravatar Pierre-Marie Pédrot2014-11-21
* Add test-suite file for bug #3804.Gravatar Matthieu Sozeau2014-11-21
* Adding test for bug #3684.Gravatar Pierre-Marie Pédrot2014-11-20
* Adding test for bug 3792.Gravatar Pierre-Marie Pédrot2014-11-09
* Test fixed by PMP's commits from Oct 21.Gravatar Hugo Herbelin2014-11-08
* Test for #3675 on primitive projections.Gravatar Hugo Herbelin2014-11-07
* Fixing #3562 ("as" in "destruct" expects either a disjunctiveGravatar Hugo Herbelin2014-11-07
* Test for #3542 fixed some time ago.Gravatar Hugo Herbelin2014-11-07
* Test for bug #3723 and #3787 on reinitialization of empty camlp4/5 levels.Gravatar Hugo Herbelin2014-11-06
* Test for bug #2149.Gravatar Pierre-Marie Pédrot2014-11-04
* New bugs revealed fixed: #3408 by (probably) Maxime's commitsGravatar Hugo Herbelin2014-11-03
* Fix test-suite for #2729.Gravatar Maxime Dénès2014-10-22
* Fixing a (new) part of bug #2729.Gravatar Hugo Herbelin2014-10-20
* Fix test-suite scripts.Gravatar Matthieu Sozeau2014-10-16
* Bug fixed by Hugo.Gravatar Matthieu Sozeau2014-10-16
* To stay closer to non-primitive projections, only unfold primitiveGravatar Matthieu Sozeau2014-10-15
* Fix for bug #3618.Gravatar Matthieu Sozeau2014-10-15
* Closed bug 3710.Gravatar Matthieu Sozeau2014-10-15
* Bug 3692 is fixed.Gravatar Matthieu Sozeau2014-10-15
* Bug 3628 is fixed.Gravatar Matthieu Sozeau2014-10-15
* Fix test-suite files which failed due to usage of $(admit)$ whichGravatar Matthieu Sozeau2014-10-15
* Fix bug 3637.Gravatar Matthieu Sozeau2014-10-15
* Reenable FO unification of primitive projections and their eta-expandedGravatar Matthieu Sozeau2014-10-15
* Fix test-suite file after moving back to using C as the nameGravatar Matthieu Sozeau2014-10-15
* Implement a different strategy to expand primitive projections only whenGravatar Matthieu Sozeau2014-10-15
* Fix bug #3698: stack overflow due to eta+canonical structures inGravatar Matthieu Sozeau2014-10-14
* Fixing the anomaly in bug #3045 (a filter was not type-safe inGravatar Hugo Herbelin2014-10-08
* Add test-suite file for the projection unfolding bug I just fixed.Gravatar Matthieu Sozeau2014-10-07
* Fix test-suite file 3352 which was containing the wrong test.Gravatar Matthieu Sozeau2014-10-07
* Fix test-suite file to test original bug, not the failure of the guardGravatar Matthieu Sozeau2014-10-07
* Fixing #3657 (check that both sides of a "change with" have the sameGravatar Hugo Herbelin2014-10-03
* Test for bug #3652 fixed in 0fb36157b9baGravatar Hugo Herbelin2014-10-03
* Fixing #3623 (unbound evars in types in a call to "change with").Gravatar Hugo Herbelin2014-10-03
* Implement module subtyping for polymorphic constants (errors onGravatar Matthieu Sozeau2014-10-02
* Fixing bug #2810 (autounfold on local variable declared as hint but cleared).Gravatar Hugo Herbelin2014-10-02
* Removing test for bug #2080.Gravatar Pierre-Marie Pédrot2014-10-01
* Add a bunch of reproduction files for closed bugs.Gravatar Xavier Clerc2014-09-30
* Bug fixed.Gravatar Matthieu Sozeau2014-09-29
* Fix test-suite filesGravatar Matthieu Sozeau2014-09-29
* In evarconv and unification, expand folded primitive projections toGravatar Matthieu Sozeau2014-09-29
* Fix test-suite file.Gravatar Matthieu Sozeau2014-09-27
* Fix bug #3664 by refolding projections that don't reduce in cbn.Gravatar Matthieu Sozeau2014-09-27
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-05 10:25:40 +0000