aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/bugs/closed
Commit message (Expand)AuthorAge
* 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
* Fix semantics of matching with folded/unfolded projections to definitelyGravatar Matthieu Sozeau2014-09-27
* Fix bug #3672, application of primitive projections as coercions.Gravatar Matthieu Sozeau2014-09-27
* Fix bug 3662 by actually reducing primitive projections in cbv/compute.Gravatar Matthieu Sozeau2014-09-27
* Bug fixed.Gravatar Matthieu Sozeau2014-09-27
* Make pattern_of_constr typed so that we can infer the proper patternsGravatar Matthieu Sozeau2014-09-27
* Fix canonical structure resolution which was launched on the results ofGravatar Matthieu Sozeau2014-09-26
* Bug #3566 is fixed.Gravatar Xavier Clerc2014-09-26
* Adding a test for bug #3653.Gravatar Pierre-Marie Pédrot2014-09-26
* Test cases for closed bugs.Gravatar Xavier Clerc2014-09-26
* Add several reproduction files for bugs.Gravatar Xavier Clerc2014-09-25
* Update test-suite files.Gravatar Matthieu Sozeau2014-09-24
* Fix bug #3656.Gravatar Matthieu Sozeau2014-09-23
* Move the specific map_constr_with_binders_left_to_rightGravatar Matthieu Sozeau2014-09-19
* Fix constrMatching as well as change/e_contextually to allowGravatar Matthieu Sozeau2014-09-18
* Fix debug printing with primitive projections.Gravatar Matthieu Sozeau2014-09-18
* Fix bug #3593, making constr_eq and progress work up toGravatar Matthieu Sozeau2014-09-17
* Fix bug #3633 properly, by delaying the interpetation of constrs inGravatar Matthieu Sozeau2014-09-17
* Revert "While resolving typeclass evars in clenv, touch only the ones that ap...Gravatar Matthieu Sozeau2014-09-17
* While resolving typeclass evars in clenv, touch only the ones that appear in theGravatar Matthieu Sozeau2014-09-17
* Update test-suite files after last commit. Add a file for rewrite_stratGravatar Matthieu Sozeau2014-09-17
* Revert specific syntax for primitive projections, avoiding uglyGravatar Matthieu Sozeau2014-09-17
* Fixing line break in test for #3559.Gravatar Hugo Herbelin2014-09-15
* Fixing injection bug #3616 on sigma-types.Gravatar Hugo Herbelin2014-09-13
* An old typo which was preventing example #3537 to work the same as itGravatar Hugo Herbelin2014-09-12
* Fix test-suite files, and move some opened to closed.Gravatar Matthieu Sozeau2014-09-11
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-05 02:58:32 +0000