Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
| | | * | | | | Fix test-suite file 5123 to fail in case of regression | 2016-10-11 | ||
| | | * | | | | Fix bug #5123: mark all shelved evars unresolvable | 2016-10-11 | ||
| * | | | | | | Reverting generalization and cleaning of the return clause inference in v8.6. | 2016-10-11 | ||
| | * | | | | | Fix for bug #4863, update the Proofview's env with | 2016-10-11 | ||
| | |/ / / / | ||||
| | * / / / | Add test file for #4416. | 2016-10-10 | ||
| | |/ / / | ||||
* | | | | | Merge branch 'v8.6' | 2016-10-08 | ||
|\| | | | | ||||
| * | | | | Merge branch 'v8.5' into v8.6 | 2016-10-08 | ||
| |\| | | | ||||
| * | | | | Fix bug #5066: Anomaly: cannot find Coq.Logic.JMeq.JMeq. | 2016-10-08 | ||
| * | | | | Fix bug #4464: "Anomaly: variable H' unbound. Please report.". | 2016-10-07 | ||
| | * | | | evarconv.ml: Fix bug #4529, primproj unfolding | 2016-10-06 | ||
| | * | | | unification.ml: fix for bug #4763, unif regression | 2016-10-06 | ||
* | | | | | Merge branch 'v8.6' | 2016-10-05 | ||
|\| | | | | ||||
| * | | | | Merge branch 'v8.5' into v8.6 | 2016-10-05 | ||
| |\| | | | ||||
| * | | | | Clean up type classes flags and update compat file. | 2016-10-05 | ||
| | * | | | Fixing #4970 (confusion between special "{" and non special "{{" in notations). | 2016-10-03 | ||
| * | | | | fixing bug 4609: document an option governing the generation of equalities | 2016-10-03 | ||
| * | | | | More tests for tactic "subst". | 2016-10-02 | ||
* | | | | | Merge branch 'v8.6' | 2016-10-02 | ||
|\| | | | | ||||
| * | | | | Fix bug #4661: Cannot mask the absolute name. | 2016-10-01 | ||
| * | | | | Fix bug #5045: [generalize] creates ill-typed terms in 8.6. | 2016-09-30 | ||
| * | | | | Fix bug #4471: [generalize dependent] permits ill-typed terms in trunk. | 2016-09-30 | ||
| * | | | | test-suite/output-modulo-time made more robust | 2016-09-30 | ||
| * | | | | Merge remote-tracking branch 'github/pr/303' into v8.6 | 2016-09-30 | ||
| |\ \ \ \ | ||||
| * \ \ \ \ | Merge remote-tracking branch 'github/pr/299' into v8.6 | 2016-09-30 | ||
| |\ \ \ \ \ | ||||
| * \ \ \ \ \ | Merge branch 'v8.5' into v8.6 | 2016-09-30 | ||
| |\ \ \ \ \ \ | | | |_|/ / / | | |/| | | | | ||||
| | * | | | | | Fix test-suite. | 2016-09-30 | ||
| * | | | | | | Merge remote-tracking branch 'github/pr/302' into v8.6 | 2016-09-30 | ||
| |\ \ \ \ \ \ | ||||
| * | | | | | | | Restore code ignoring <W> lines in output (camlp5 warnings) | 2016-09-30 | ||
| * | | | | | | | Ignore file names in warning emitted by test-suite/output/* (#5111) | 2016-09-30 | ||
| * | | | | | | | Merge branch 'v8.5' into v8.6 | 2016-09-30 | ||
| |\ \ \ \ \ \ \ | | | |/ / / / / | | |/| | | | | | ||||
| | * | | | | | | Merge branch '4762' into v8.5 | 2016-09-30 | ||
| | |\ \ \ \ \ \ | ||||
| | | * | | | | | | Fix #4762. | 2016-09-30 | ||
| | | | | | * | | | LtacProf cutoff is for total percent, not time | 2016-09-29 | ||
| | |_|_|_|/ / / | |/| | | | | | | ||||
| | | | * | | | | Set the default LtacProf cutoff to 2% | 2016-09-29 | ||
| | |_|/ / / / | |/| | | | | | ||||
| | | | | * | | Move vector/list compat notations to their relevant files | 2016-09-29 | ||
| | |_|_|/ / | |/| | | | | ||||
| * | | | | | Fix bug #4798: compat notations should not modify the parser. | 2016-09-29 | ||
| * | | | | | Arguments: cleanup + detect discrepancy rename/implicit (#3753) | 2016-09-29 | ||
| * | | | | | Merge branch 'bug5036' into v8.6 | 2016-09-29 | ||
| |\ \ \ \ \ | ||||
| | * | | | | | Fix bug #5036 autorewrite, sections and universes | 2016-09-29 | ||
| * | | | | | | Merge branch 'bug4723' into v8.6 | 2016-09-29 | ||
| |\ \ \ \ \ \ | ||||
| | | | | | * | | Fix bug #4869, allow Prop, Set, and level names in constraints. | 2016-09-29 | ||
| * | | | | | | | Fix bug #5011: Anomaly on [Existing Class]. | 2016-09-29 | ||
| | |_|_|_|/ / | |/| | | | | | ||||
| | | | * | | | Fix a bug in subst releaved by an OCaml warning. | 2016-09-29 | ||
| | | | |/ / | ||||
| * | | | | | test-suite: fix sed on OS X, does not handle + | 2016-09-29 | ||
| * | | | | | Argument : assert does fail if no arg is given (fix #4864) | 2016-09-29 | ||
| | |/ / / | |/| | | | ||||
| | * | | | Fix bug #4723 and FIXME in API for solve_by_tac | 2016-09-28 | ||
| |/ / / | ||||
| * | | | Typeclass backtracking example by J. Leivant | 2016-09-28 | ||
| * | | | Merge remote-tracking branch 'github/pr/232' into v8.6 | 2016-09-28 | ||
| |\ \ \ | ||||
| * | | | | Add fixed test-suite file for bug #4527 | 2016-09-27 | ||
* | | | | | Merge branch 'v8.6' | 2016-09-27 | ||
|\| | | | |