Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Delete duplicate line | 2018-01-30 | |
* | Merge PR #6666: Fix reduction of primitive projections on coinductive records... | 2018-01-30 | |
|\ | |||
* \ | Merge PR #6649: Fix #6621: Anomaly on fixpoint with primitive projections | 2018-01-30 | |
|\ \ | |||
* \ \ | Merge PR #6636: Stop running duplicate Travis jobs on pull requests. | 2018-01-30 | |
|\ \ \ | |||
* \ \ \ | Merge PR #6605: Safer VM interfaces | 2018-01-30 | |
|\ \ \ \ | |||
* \ \ \ \ | Merge PR #6644: Use travis_retry on apt-get update | 2018-01-30 | |
|\ \ \ \ \ | |||
| | | | | * | Add test case for #5286. | 2018-01-29 | |
| | | | | * | [cbv] Fix evaluation of cofixpoints under primitive projections. | 2018-01-29 | |
| | | | | * | [native_compute] Fix evaluation of cofixpoints under primitive projections. | 2018-01-29 | |
| |_|_|_|/ |/| | | | | |||
| | * | | | Safer VM interfaces | 2018-01-26 | |
| * | | | | Add a comment referencing travis issue numbers | 2018-01-25 | |
* | | | | | Merge PR #6642: fix space in coqchk error | 2018-01-25 | |
|\ \ \ \ \ | |||
* \ \ \ \ \ | Merge PR #6650: Remove dead code from funind. | 2018-01-25 | |
|\ \ \ \ \ \ | |||
* \ \ \ \ \ \ | Merge PR #6626: [readme] Add DOI badge. | 2018-01-25 | |
|\ \ \ \ \ \ \ | |_|_|_|/ / / |/| | | | | | | |||
* | | | | | | | Merge PR #6620: Fix #6591: anomaly when using selectors outside of a proof. | 2018-01-25 | |
|\ \ \ \ \ \ \ | |||
| | | | * | | | | fix space in coqchk error | 2018-01-24 | |
| |_|_|/ / / / |/| | | | | | | |||
| | | * | | | | Remove dead code from funind. | 2018-01-24 | |
| |_|/ / / / |/| | | | | | |||
| | | | | * | Fix #6621: Anomaly on fixpoint with primitive projections | 2018-01-24 | |
| |_|_|_|/ |/| | | | | |||
| | | * | | Delay installing packages | 2018-01-23 | |
| | | * | | Use travis_retry on apt-get update | 2018-01-23 | |
| |_|/ / |/| | | | |||
| | | * | Stop running duplicate Travis jobs on pull requests. | 2018-01-23 | |
| |_|/ |/| | | |||
* | | | Merge PR #6627: Fix #6619: coqchk does not reduce compatibility constants for... | 2018-01-23 | |
|\ \ \ | |||
* \ \ \ | Merge PR #6628: [printing] Remove duplicate definitions of pr_lident and pr_l... | 2018-01-23 | |
|\ \ \ \ | |||
* \ \ \ \ | Merge PR #6629: Archive COMPATIBILITY | 2018-01-23 | |
|\ \ \ \ \ | |||
* \ \ \ \ \ | Merge PR #6568: Cleanup scripts | 2018-01-23 | |
|\ \ \ \ \ \ | |||
| | | | | * | | Fix #6591: anomaly when using selectors outside of a proof. | 2018-01-22 | |
| | | | | | * | [readme] Add DOI badge. | 2018-01-22 | |
| | | | | |/ | |||
| | * | | | | Archive COMPATIBILITY. | 2018-01-22 | |
| | * | | | | Move the mention of the removal of Qed exporting at the right place. | 2018-01-22 | |
| | | |_|/ | | |/| | | |||
* | | | | | Merge PR #6461: Let dtauto recognize '@sigT A (fun _ => B)' as a conjunction. | 2018-01-22 | |
|\ \ \ \ \ | |||
* \ \ \ \ \ | Merge PR #6625: Update location on tab switch, issue 6624 | 2018-01-22 | |
|\ \ \ \ \ \ | |||
* \ \ \ \ \ \ | Merge PR #6576: generate both binary and text annotations | 2018-01-22 | |
|\ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ | Merge PR #6550: Remove outdated note about rlwrap in setup.txt | 2018-01-22 | |
|\ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ | Merge PR #6618: Fix Ltac subterm matching in (co-)fixpoints. | 2018-01-22 | |
|\ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ | Merge PR #6575: Add flash infos for find and replace | 2018-01-22 | |
|\ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ | Merge PR #6506: Fast rel lookup | 2018-01-22 | |
|\ \ \ \ \ \ \ \ \ \ \ | |_|_|_|_|_|_|_|/ / / |/| | | | | | | | | | | |||
| | | | | | | | | * | | [printing] Remove duplicate definitions of pr_lident and pr_lname | 2018-01-22 | |
| |_|_|_|_|_|_|_|/ / |/| | | | | | | | | | |||
| | | | | | | | | * | Adding a test for coqchk bug #6619. | 2018-01-20 | |
| | | | | | | | | * | Fix #6618: coqchk fails with "ill-typed term". | 2018-01-20 | |
| | | | | | | | | * | Remove dead code in Environ. | 2018-01-20 | |
| |_|_|_|_|_|_|_|/ |/| | | | | | | | | |||
| | | | | * | | | | -annotate deprecated. New options: -annot, -bin-annot | 2018-01-19 | |
| | | | | | * | | | update location on tab switch, issue 6624 | 2018-01-19 | |
| |_|_|_|_|/ / / |/| | | | | | | | |||
| | | * | | | | | Add test-suite file for issue #6617. | 2018-01-19 | |
| | | * | | | | | Fix context handling of fix and cofix in Ltac subterm matching. | 2018-01-19 | |
| | | * | | | | | Define EConstr version of [push_rec_types]. | 2018-01-19 | |
| | * | | | | | | add flash infos about wrap, not found, no. of replacements, no. of finds, iss... | 2018-01-18 | |
| |/ / / / / / |/| | | | | | | |||
* | | | | | | | Merge PR #6555: Use let-in aware prod_applist_assum in dtauto and firstorder. | 2018-01-18 | |
|\ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ | Merge PR #6448: Cleanup and add debug printers a bit | 2018-01-18 | |
|\ \ \ \ \ \ \ \ | |_|_|/ / / / / |/| | | | | | | | |||
* | | | | | | | | Merge PR #6600: Update configure.ml to only warn on lablgtk >= 2.16.0 and < 2... | 2018-01-17 | |
|\ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ | Merge PR #6593: Add plugins to META.coq | 2018-01-17 | |
|\ \ \ \ \ \ \ \ \ |