Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
| * | | | | Fixing #5277 (Scheme Equality not robust wrt choice of names). | Hugo Herbelin | 2016-12-22 | |
| * | | | | Fixing injection in the presence of let-in in constructors. | Hugo Herbelin | 2016-12-22 | |
| * | | | | Merge branch 'v8.6' | Pierre-Marie Pédrot | 2016-12-07 | |
| |\| | | | ||||
| | * | | | Merge remote-tracking branch 'github/pr/366' into v8.6 | Maxime Dénès | 2016-12-04 | |
| | |\ \ \ | ||||
| | * \ \ \ | Merge remote-tracking branch 'github/pr/378' into v8.6 | Maxime Dénès | 2016-12-04 | |
| | |\ \ \ \ | ||||
| | * | | | | | Fix test-suite after change in "context" printing. | Maxime Dénès | 2016-12-02 | |
| | * | | | | | Merge remote-tracking branch 'github/pr/377' into v8.6 | Maxime Dénès | 2016-12-02 | |
| | |\ \ \ \ \ | ||||
| | | | * | | | | Univs: fix bug #5188 | Matthieu Sozeau | 2016-12-02 | |
| | * | | | | | | Fix typeclasses eauto shelving. | Théo Zimmermann | 2016-11-30 | |
| | | |/ / / / | | |/| | | | | ||||
| | | * | | | | Univs: fix bug #5180 | Matthieu Sozeau | 2016-11-30 | |
| | |/ / / / | ||||
| | | * / / | Fix UGraph.check_eq! | Matthieu Sozeau | 2016-11-30 | |
| | |/ / / | ||||
| * | | | | Tests for info/debug auto/eauto. | Hugo Herbelin | 2016-11-19 | |
| * | | | | Merge branch 'v8.6' | Pierre-Marie Pédrot | 2016-11-18 | |
|/| | | | | |/ / / | ||||
| * | | | Merge commit '633ed9c' into v8.6 | Maxime Dénès | 2016-11-17 | |
| |\ \ \ | ||||
| | * | | | Add test suite files for 4700-4785 | Jason Gross | 2016-11-17 | |
| * | | | | Revert more of a477dc for good measure | Matthieu Sozeau | 2016-11-16 | |
| * | | | | Revert part of a477dc, disallow_shelved | Matthieu Sozeau | 2016-11-15 | |
| * | | | | Updating a comment in test-suite. | Hugo Herbelin | 2016-11-10 | |
| * | | | | Merge remote-tracking branch 'github/pr/339' into v8.6 | Maxime Dénès | 2016-11-07 | |
| |\ \ \ \ | ||||
| * \ \ \ \ | Merge commit 'e6edb33' into v8.6 | Maxime Dénès | 2016-11-07 | |
| |\ \ \ \ \ | ||||
| * | | | | | | Fix #5181: [Arguments] no longer correctly checks the length of arguments lists | Maxime Dénès | 2016-11-07 | |
| * | | | | | | Fix #5182: "Arguments names must be distinct." is bogus and underinformative | Maxime Dénès | 2016-11-07 | |
| | * | | | | | More explicit name for status of unification constraints. | Maxime Dénès | 2016-11-07 | |
| * | | | | | | Test for #4966 ("auto" wrongly seen as "auto with *" when in position of ident). | Hugo Herbelin | 2016-11-04 | |
| * | | | | | | Fix #3441 Use pf_get_type_of to avoid blowup | Matthieu Sozeau | 2016-11-04 | |
| | | * | | | | Fix test-suite files relying on tcs bugs | Matthieu Sozeau | 2016-11-03 | |
| | | * | | | | Fixed bug #4095. | Matthieu Sozeau | 2016-11-03 | |
| | | * | | | | typeclasses eauto Implem/doc of shelving strategy | Matthieu Sozeau | 2016-11-03 | |
| | | * | | | | Fix handling of only_classes at toplevel | Matthieu Sozeau | 2016-11-03 | |
| | | * | | | | Test new syntax for hints and typeclass options | Matthieu Sozeau | 2016-11-03 | |
| | | * | | | | Lets Hints/Instances take an optional pattern | Matthieu Sozeau | 2016-11-03 | |
* | | | | | | | Merge branch 'v8.6' | Pierre-Marie Pédrot | 2016-10-29 | |
|\| | | | | | | ||||
| * | | | | | | Merge branch 'v8.5' into v8.6 | Pierre-Marie Pédrot | 2016-10-29 | |
| |\ \ \ \ \ \ | | |_|/ / / / | |/| | | / / | | | |_|/ / | | |/| | | | ||||
| * | | | | | Merge remote-tracking branch 'github/pr/321' into v8.6 | Maxime Dénès | 2016-10-28 | |
| |\ \ \ \ \ | ||||
| * \ \ \ \ \ | Merge remote-tracking branch 'github/pr/319' into v8.6 | Maxime Dénès | 2016-10-28 | |
| |\ \ \ \ \ \ | ||||
| * \ \ \ \ \ \ | 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 | |
| |\| | | | | | | |