aboutsummaryrefslogtreecommitdiff
path: root/test-suite
AgeCommit message (Expand)Author
2014-10-16Bug fixed by Hugo.Matthieu Sozeau
2014-10-15Adding a timeout to bug #2447.Pierre-Marie Pédrot
2014-10-15To stay closer to non-primitive projections, only unfold primitiveMatthieu Sozeau
2014-10-15Fix for bug #3618.Matthieu Sozeau
2014-10-15Closed bug 3710.Matthieu Sozeau
2014-10-15Bug 3692 is fixed.Matthieu Sozeau
2014-10-15Bug 3628 is fixed.Matthieu Sozeau
2014-10-15Fix test-suite files which failed due to usage of $(admit)$ whichMatthieu Sozeau
2014-10-15Fix bug 3637.Matthieu Sozeau
2014-10-15Reenable FO unification of primitive projections and their eta-expandedMatthieu Sozeau
2014-10-15Fix test-suite file after moving back to using C as the nameMatthieu Sozeau
2014-10-15Implement a different strategy to expand primitive projections only whenMatthieu Sozeau
2014-10-14Fix bug #3698: stack overflow due to eta+canonical structures inMatthieu Sozeau
2014-10-13Added support for several impossible cases in compilation of "match".Hugo Herbelin
2014-10-08Fixing the anomaly in bug #3045 (a filter was not type-safe inHugo Herbelin
2014-10-07Add test-suite file for the projection unfolding bug I just fixed.Matthieu Sozeau
2014-10-07Fix test-suite file 3352 which was containing the wrong test.Matthieu Sozeau
2014-10-07Fix test-suite file to test original bug, not the failure of the guardMatthieu Sozeau
2014-10-05A few improvements on pattern-matching compilation.Hugo Herbelin
2014-10-03Classify segfaults as failures in opened bugs.Xavier Clerc
2014-10-03Classify segfaults as failures in opened bugsXavier Clerc
2014-10-03Fixing #3657 (check that both sides of a "change with" have the sameHugo Herbelin
2014-10-03Test for bug #3652 fixed in 0fb36157b9baHugo Herbelin
2014-10-03Fixing #3623 (unbound evars in types in a call to "change with").Hugo Herbelin
2014-10-03Add a bunch of reproduction files for bugs.Xavier Clerc
2014-10-03Adapting output/Arguments_renaming continued.Hugo Herbelin
2014-10-02Implement module subtyping for polymorphic constants (errors onMatthieu Sozeau
2014-10-02Fixing bug #2810 (autounfold on local variable declared as hint but cleared).Hugo Herbelin
2014-10-02An evar name changed in output test.Hugo Herbelin
2014-10-02Adapting the output test Notations:Hugo Herbelin
2014-10-02Added make dependency in %.out in output tests.Hugo Herbelin
2014-10-02Revert "test-suite: New names for vars but the expected invariant is preserved"Hugo Herbelin
2014-10-02Adapting output/Arguments_renaming.out after fixing printing ofHugo Herbelin
2014-10-01Updating to the new use of 3 universes, after Hurkens is simplified.Hugo Herbelin
2014-10-01Removing test for bug #2080.Pierre-Marie Pédrot
2014-09-30Add a bunch of reproduction files for closed bugs.Xavier Clerc
2014-09-30Add a bunch of reproduction files for bugs.Xavier Clerc
2014-09-30Seeing IntroWildcard as an action intro pattern rather than as a naming patternHugo Herbelin
2014-09-29Restoring non-uniform delta on local and global constants in 2nd orderHugo Herbelin
2014-09-29Adding a test for bug #2428.Pierre-Marie Pédrot
2014-09-29Bug fixed.Matthieu Sozeau
2014-09-29Fix test-suite filesMatthieu Sozeau
2014-09-29In evarconv and unification, expand folded primitive projections toMatthieu Sozeau
2014-09-27Keyed unification option, compiling the whole standard libraryMatthieu Sozeau
2014-09-27First version of keyed subterm selection in unification.Matthieu Sozeau
2014-09-27Fix test-suite file.Matthieu Sozeau
2014-09-27Fix bug #3664 by refolding projections that don't reduce in cbn.Matthieu Sozeau
2014-09-27Fix semantics of matching with folded/unfolded projections to definitelyMatthieu Sozeau
2014-09-27Fix bug #3672, application of primitive projections as coercions.Matthieu Sozeau
2014-09-27Fix bug 3662 by actually reducing primitive projections in cbv/compute.Matthieu Sozeau
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-11 13:32:47 +0000