aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite
Commit message (Expand)AuthorAge
* Fix test flags for fake_ideGravatar Enrico Tassi2014-11-27
* Bug #3804 is actually closed (thanks to Jason Gross for the notification).Gravatar Xavier Clerc2014-11-25
* Tweak some test cases.Gravatar Xavier Clerc2014-11-25
* Adapting to current semantics of "simpl non-evaluable-cst"Gravatar Hugo Herbelin2014-11-25
* Experimenting using unification when matching evar/meta free subtermsGravatar Hugo Herbelin2014-11-25
* Adding test for bug #3248.Gravatar Pierre-Marie Pédrot2014-11-24
* 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
* Add test-suite file for dependent rewriting example by Vadim Zaliva andGravatar Matthieu Sozeau2014-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
* Fixing a little bug with nested but convertible occurrences in "destruct at".Gravatar Hugo Herbelin2014-11-18
* Fixing detection of occurrences in the presence of nested subterms forGravatar Hugo Herbelin2014-11-18
* Enforcing a stronger difference between the two syntaxes "simplGravatar Hugo Herbelin2014-11-16
* Fixing side bug in db37c9f3f32ae7 delaying interpretation of theGravatar Hugo Herbelin2014-11-16
* Use return code to classify anomalies as active open bugs.Gravatar Xavier Clerc2014-11-14
* Add missing "Fail" to test case for bug #2814.Gravatar Xavier Clerc2014-11-14
* Reproduction cases for the test suite.Gravatar Xavier Clerc2014-11-14
* Preserving the good effect of 014e5ac92a on not leaving dangling localGravatar Hugo Herbelin2014-11-14
* Removing yet another source of remaining local definitions.Gravatar Hugo Herbelin2014-11-13
* Adapting output tests to current naming of evars, even if unclearGravatar Hugo Herbelin2014-11-11
* Adding test for bug 3792.Gravatar Pierre-Marie Pédrot2014-11-09
* Follow up to experimental eager evar unification in bcba6d1bc9:Gravatar Hugo Herbelin2014-11-08
* Compatibility with 8.4 in the heuristic used to build the inductionGravatar Hugo Herbelin2014-11-08
* Test #3655 was failing due to an anomaly. Now it rather has to failGravatar Hugo Herbelin2014-11-08
* 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
* Consequence of changing the definition of Nat.shiftl and Nat.shiftr.Gravatar Hugo Herbelin2014-11-06
* Restoring clear_flag (thanks a lot to jonikelee to notice it).Gravatar Hugo Herbelin2014-11-06
* Optimizing when to clear generalized hypotheses in destruct.Gravatar Hugo Herbelin2014-11-06
* Test for bug #3723 and #3787 on reinitialization of empty camlp4/5 levels.Gravatar Hugo Herbelin2014-11-06
* Removing "destruct" test not yet working.Gravatar Hugo Herbelin2014-11-06
* test suite: some reproduction cases for recently-reported bugs.Gravatar Xavier Clerc2014-11-04
* 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
* Subtle swap of lines to preserve VarInstance src field before checkingGravatar Hugo Herbelin2014-11-03
* Fix to 844431761 on improving elimination with indices, getting rid ofGravatar Hugo Herbelin2014-11-03
* Improving elimination with indices, getting rid of intrusive residualGravatar Hugo Herbelin2014-11-02
* Some reorganization of the code for destruct/induction:Gravatar Hugo Herbelin2014-11-02
* Fixing file destruct.v.Gravatar Hugo Herbelin2014-11-02
* Enlarge the cases where the like first selection is used in destruct.Gravatar Hugo Herbelin2014-10-31
* Listing a few examples of destruct showing unsatisfactory behaviors.Gravatar Hugo Herbelin2014-10-31
* Avoid "destruct H" to apply on H itself when H is a section variable.Gravatar Hugo Herbelin2014-10-31
* Making destruct on idents with maximal implicit arguments working, byGravatar Hugo Herbelin2014-10-27
generated by cgit v1.2.3 (git 2.39.1) at 2024-10-31 11:00:20 +0000