Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
| * | | | | | | Merge remote-tracking branch 'github/pr/337' into v8.6 | Maxime Dénès | 2016-10-28 | |
| |\ \ \ \ \ \ | ||||
| | | | | * | | | Fixing #5161 (case of a notation with unability to detect a recursive binder). | Hugo Herbelin | 2016-10-27 | |
| | * | | | | | | Add missing dot to impargs error message. | Maxime Dénès | 2016-10-27 | |
| | * | | | | | | Complete overhaul of the Arguments vernacular. | Maxime Dénès | 2016-10-27 | |
| * | | | | | | | Merge branch 'v8.5' into v8.6 | Pierre-Marie Pédrot | 2016-10-26 | |
| |\ \ \ \ \ \ \ | | | |_|_|/ / / | | |/| | | | | | ||||
| | * | | | | | | Merge remote-tracking branch 'github/pr/329' into v8.5 | Maxime Dénès | 2016-10-25 | |
| | |\ \ \ \ \ \ | ||||
* | | | | | | | | | Merge branch 'v8.6' | Pierre-Marie Pédrot | 2016-10-24 | |
|\| | | | | | | | | ||||
| * | | | | | | | | Merge branch 'v8.5' into v8.6 | Pierre-Marie Pédrot | 2016-10-24 | |
| |\| | | | | | | | ||||
| * | | | | | | | | Adding a test for #4398 (interpretation scopes for "match goal"). | Hugo Herbelin | 2016-10-24 | |
| * | | | | | | | | Rename lia.cache into .lia.cache in the test-suite Makefile. | Maxime Dénès | 2016-10-24 | |
| | | * | | | | | | Test file for #5127: Memory corruption with the VM | Maxime Dénès | 2016-10-24 | |
| * | | | | | | | | Merge branch 'v8.5' into v8.6 | Hugo Herbelin | 2016-10-24 | |
| | * | | | | | | | Fixing #3479 (parsing of "{" and "}" when a keyword starts with "{" or "}"). | Hugo Herbelin | 2016-10-24 | |
| | |/ / / / / / | ||||
| | * | | | | | | Fix 6d5fe92e to #5150 (missing dependencies in test suite) was a bit too strong. | Hugo Herbelin | 2016-10-24 | |
| * | | | | | | | Merge branch 'v8.5' into v8.6 | Hugo Herbelin | 2016-10-22 | |
| |\| | | | | | | ||||
| | * | | | | | | Fixing printing of generic arguments of tag "var". | Hugo Herbelin | 2016-10-22 | |
| | | | | | * | | Unification constraint handling (#4763, #5149) | Matthieu Sozeau | 2016-10-22 | |
| | | | | | * | | Port fix for bugs 4763, 5149, previously 0b417c12e | Matthieu Sozeau | 2016-10-22 | |
| | |_|_|_|/ / | |/| | | | | | ||||
| * | | | | | | Adding a test for bug #3495. | Pierre-Marie Pédrot | 2016-10-21 | |
| * | | | | | | Merge remote-tracking branch 'gforge/v8.5' into v8.6 | Matthieu Sozeau | 2016-10-21 | |
| |\| | | | | | ||||
| | * | | | | | Revert "unification.ml: fix for bug #4763, unif regression" | Maxime Dénès | 2016-10-21 | |
| | | | | * | | sections/hints: prevent Not_found in get_type_of | Matthieu Sozeau | 2016-10-21 | |
| | |_|_|/ / | |/| | | | | ||||
| * | | | | | Merge branch 'fixminimization' into v8.6 | Matthieu Sozeau | 2016-10-21 | |
| |\ \ \ \ \ | ||||
| * | | | | | | Revert 214b9ab7969fae71dcf553c399cb1674e463d0e3 | Matthieu Sozeau | 2016-10-21 | |
| | | * | | | | Adding dependency of the test-suite subsystems in prerequisite (fixing #5150). | Hugo Herbelin | 2016-10-20 | |
| | | * | | | | A fix for #5097 (status of evars refined by "clear" in ltac: closed wrt evars). | Hugo Herbelin | 2016-10-20 | |
| | * | | | | | Fix minimization to be insensitive to redundant arcs. | Matthieu Sozeau | 2016-10-20 | |
| * | | | | | | [search] Don't build intermediate lists in search. | Emilio Jesus Gallego Arias | 2016-10-20 | |
| |/ / / / / | ||||
| * | | | | | Test for variant of #5142 (good error message on pattern-matching failure). | Hugo Herbelin | 2016-10-19 | |
| * | | | | | Attempt to improve error rendering in pattern-matching compilation (#5142). | Hugo Herbelin | 2016-10-19 | |
| | | | * | | [pp] Try to properly tag error messages in cError. | Emilio Jesus Gallego Arias | 2016-10-18 | |
| | |_|/ / | |/| | | | ||||
* | | | | | Merge branch 'v8.6' | Pierre-Marie Pédrot | 2016-10-18 | |
|\| | | | | ||||
| * | | | | Merge branch 'v8.5' into v8.6 | Pierre-Marie Pédrot | 2016-10-18 | |
| |\| | | | ||||
| | * | | | Removing output test for module qualification. | Pierre-Marie Pédrot | 2016-10-18 | |
| * | | | | Quick fix to unification regression #4955. | Hugo Herbelin | 2016-10-17 | |
| * | | | | Fixing a few other inconsistencies with notations. | Hugo Herbelin | 2016-10-17 | |
| | * | | | Fixing to #3209 (Not_found due to an occur-check cycle). | Hugo Herbelin | 2016-10-17 | |
* | | | | | Merge branch 'v8.6' | Pierre-Marie Pédrot | 2016-10-17 | |
|\| | | | | ||||
| * | | | | Fix output test for module qualification. | Pierre-Marie Pédrot | 2016-10-17 | |
| * | | | | Merge PR #300 into v8.6 | Pierre-Marie Pédrot | 2016-10-17 | |
| |\ \ \ \ | ||||
| * | | | | | Example illustrating non-local inference of the default type of impossible br... | Hugo Herbelin | 2016-10-17 | |
| | | * | | | Merge PR #310 into v8.5 | Pierre-Marie Pédrot | 2016-10-17 | |
| | | |\ \ \ | ||||
| * | | \ \ \ | Merge PR #310 into v8.6 | Pierre-Marie Pédrot | 2016-10-17 | |
| |\ \ \ \ \ \ | | | |_|/ / / | | |/| | | | | ||||
| | * | | | | | Test for bug #4874. | Pierre-Marie Pédrot | 2016-10-17 | |
| * | | | | | | Fix bug #5145: Anomaly: index to an anonymous variable. | Pierre-Marie Pédrot | 2016-10-15 | |
| | |_|_|/ / | |/| | | | | ||||
* | | | | | | Merge branch 'v8.6' | Pierre-Marie Pédrot | 2016-10-12 | |
|\| | | | | | ||||
| * | | | | | Merge branch 'v8.5' into v8.6 | Pierre-Marie Pédrot | 2016-10-12 | |
| |\ \ \ \ \ | | | |_|/ / | | |/| | | | ||||
| * | | | | | Merge branch 'v8.5' into v8.6 | Pierre-Marie Pédrot | 2016-10-12 | |
| |\ \ \ \ \ | ||||
| | | * | | | | Fixing a collision about the meta-variable ".." in recursive notations. | Hugo Herbelin | 2016-10-12 | |
| | | * | | | | Merge remote-tracking branch 'git/bug5123' into v8.5 | Matthieu Sozeau | 2016-10-12 | |
| | |/| | | | |