Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | | | | | | | | | [ci] Temporal workaround for checker non-backwards compatible change. | 2017-12-10 | ||
| | | | | * | | | | [api] Remove yet another type alias. | 2017-12-09 | ||
| |_|_|_|/ / / / |/| | | | | | | | ||||
| | | | | | * | | [lib] Rename Profile to CProfile | 2017-12-09 | ||
| |_|_|_|_|/ / |/| | | | | | | ||||
| | | * | | | | [ci] Download ci-sf archives into the proper CI build dir. | 2017-12-09 | ||
| |_|/ / / / |/| | | | | | ||||
| | * | | | | Fix a copy-paste error in ci-ltac2. | 2017-12-08 | ||
* | | | | | | Merge PR #6158: Allows a level in the raw and glob printers | 2017-12-08 | ||
|\ \ \ \ \ \ | ||||
| | * | | | | | [ci] CoLoR has moved to github | 2017-12-07 | ||
* | | | | | | | Merge PR #6267: Fix PR merge script. | 2017-12-07 | ||
|\ \ \ \ \ \ \ | |_|/ / / / / |/| | | | | | | ||||
| | | | * | | | Overlay for Equations. | 2017-12-06 | ||
| |_|_|/ / / |/| | | | | | ||||
| | | | * | | Linter: skip PRs older than the linter. | 2017-12-06 | ||
| |_|_|/ / |/| | | | | ||||
* | | | | | uninstall doc dir, not dev (which is not installed), #6007 | 2017-12-01 | ||
* | | | | | Merge PR #736: [ci] Test coqchk on the CompCert target. | 2017-12-01 | ||
|\ \ \ \ \ | ||||
* \ \ \ \ \ | Merge PR #6244: [lib] [api] Introduce record for `object_prefix` | 2017-11-30 | ||
|\ \ \ \ \ \ | ||||
| | * | | | | | [ci] Test coqchk on the CompCert target. | 2017-11-30 | ||
| |/ / / / / |/| | | | | | ||||
* | | | | | | Merge PR #6269: [ci] [vst] Shorten compilation time to avoid Travis timeouts. | 2017-11-30 | ||
|\ \ \ \ \ \ | ||||
| | | * | | | | Fix usage comment. | 2017-11-29 | ||
| | | * | | | | This script apparently uses bash-specific features. | 2017-11-29 | ||
| | | * | | | | Fix PR merge script. | 2017-11-29 | ||
| |_|/ / / / |/| | | | | | ||||
| | * | | | | [lib] [api] Introduce record for `object_prefix` | 2017-11-29 | ||
| | | |/ / | | |/| | | ||||
* | | | | | Add PR backport script. | 2017-11-28 | ||
| |_|_|/ |/| | | | ||||
| * | | | [ci] [vst] Shorten compilation time to avoid Travis timeouts. | 2017-11-28 | ||
|/ / / | ||||
* | | | Merge PR #6259: Add PR merge script. | 2017-11-28 | ||
|\ \ \ | ||||
| * | | | Add PR merge script. | 2017-11-28 | ||
| |/ / | ||||
* | | | Merge PR #1033: Universe binder improvements | 2017-11-28 | ||
|\ \ \ | ||||
* \ \ \ | Merge PR #6248: [api] Remove aliases of `Evar.t` | 2017-11-28 | ||
|\ \ \ \ | |_|/ / |/| | | | ||||
| | | * | Adding overlay for ltac2. | 2017-11-27 | ||
* | | | | Merge PR #6227: Linter: do not lint untracked files. | 2017-11-27 | ||
|\ \ \ \ | |_|_|/ |/| | | | ||||
| | * | | [api] Remove aliases of `Evar.t` | 2017-11-26 | ||
| |/ / |/| | | ||||
| | * | Overlay for stronger restrict_universe_context. | 2017-11-25 | ||
| |/ |/| | ||||
* | | Merge PR #876: In omega or romega, recognizing Z and nat modulo conversion | 2017-11-24 | ||
|\ \ | ||||
* \ \ | Merge PR #6197: [plugin] Remove LocalityFixme über hack. | 2017-11-24 | ||
|\ \ \ | ||||
* \ \ \ | Merge PR #6186: [api] Miscellaneous consolidation. | 2017-11-23 | ||
|\ \ \ \ | ||||
| | | | * | Linter: do not lint untracked files. | 2017-11-23 | ||
| |_|_|/ |/| | | | ||||
| | | * | Adding ad hoc overlay for sf/vfa. | 2017-11-23 | ||
| |_|/ |/| | | ||||
* | | | Merge PR #6189: Disable whitespace linter for .out files. | 2017-11-23 | ||
|\ \ \ | ||||
| | | * | [plugin] Remove LocalityFixme über hack. | 2017-11-22 | ||
| |_|/ |/| | | ||||
| | * | [api] Miscellaneous consolidation + moves to engine. | 2017-11-21 | ||
| |/ |/| | ||||
* | | [printing] Deprecate all printing functions accessing the global proof. | 2017-11-21 | ||
* | | Merge PR #6185: [parser] Remove unnecessary statically initialized hook. | 2017-11-21 | ||
|\ \ | ||||
* \ \ | Merge PR #6168: Add Equations to CI | 2017-11-21 | ||
|\ \ \ | ||||
| | | * | Disable whitespace linter for .out files. | 2017-11-20 | ||
* | | | | Merge PR #6183: [plugins] Prepare plugin API for functional handling of state. | 2017-11-20 | ||
|\ \ \ \ | ||||
* \ \ \ \ | Merge PR #6163: [dev] Remove deprecation warning from `base_include` | 2017-11-20 | ||
|\ \ \ \ \ | |_|_|_|/ |/| | | | | ||||
| | | * | | Add Equations to CI | 2017-11-20 | ||
| |_|/ / |/| | | | ||||
| | | * | [parser] Remove unnecessary statically initialized hook. | 2017-11-19 | ||
| |_|/ |/| | | ||||
| | * | [plugins] Prepare plugin API for functional handling of state. | 2017-11-19 | ||
| |/ |/| | ||||
* | | Merge PR #6148: [api] Another large deprecation, `Nameops` and friends. | 2017-11-16 | ||
|\ \ | ||||
| | * | [dev] Remove deprecation warning from `base_include` | 2017-11-15 | ||
| |/ |/| | ||||
| * | [api] Another large deprecation, `Nameops` | 2017-11-13 | ||
* | | Change OCAMLRUNPARAM warning to mention OCaml 4.06 | 2017-11-13 | ||
|/ |