Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Merge PR #6038: [build] Remove coqmktop in favor of ocamlfind. | 2017-12-14 | |
|\ | |||
* \ | Merge PR #6395: Revert [ci] Temporal workaround for checker non-backwards com... | 2017-12-14 | |
|\ \ | |||
* \ \ | Merge PR #6388: Fix issue #6387 | 2017-12-14 | |
|\ \ \ | |||
* \ \ \ | Merge PR #1108: [stm] Reorganize flags | 2017-12-13 | |
|\ \ \ \ | |||
* \ \ \ \ | Merge PR #6341: Fix anomaly in [Type foo] command, + print uctx like Check. | 2017-12-13 | |
|\ \ \ \ \ | |||
* \ \ \ \ \ | Merge PR #6251: [proof] Embed evar_map in RefinerError exception. | 2017-12-13 | |
|\ \ \ \ \ \ | |||
* \ \ \ \ \ \ | Merge PR #6175: Restoring filtering of native files passed to `rm` during `ma... | 2017-12-13 | |
|\ \ \ \ \ \ \ | |||
| | | | | | * | | Revert "[ci] Temporal workaround for checker non-backwards compatible change." | 2017-12-12 | |
| |_|_|_|_|/ / |/| | | | | | | |||
* | | | | | | | Merge PR #6335: Additional rewrite lemmas on Ensembles, in Powerset_facts | 2017-12-12 | |
|\ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ | Merge PR #6359: Remove most uses of function extensionality in Program.Combin... | 2017-12-12 | |
|\ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ | Merge PR #6275: [summary] Allow typed projections from global state. | 2017-12-12 | |
|\ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ | Merge PR #6312: [configure] fix detection of `md5sum` | 2017-12-11 | |
|\ \ \ \ \ \ \ \ \ \ | |||
| | | | | | | | | * | | Fix issue #6387 | 2017-12-11 | |
| |_|_|_|_|_|_|_|/ / |/| | | | | | | | | | |||
* | | | | | | | | | | Merge PR #6331: Linter: skip PRs older than the linter. | 2017-12-11 | |
|\ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ | Merge PR #6311: Don't Add LoadPath on CoqIDE startup, #6153 | 2017-12-11 | |
|\ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6270: [toplevel] Properly redirect stdout on `Redirect` vernac. | 2017-12-11 | |
|\ \ \ \ \ \ \ \ \ \ \ \ | |||
| | | | | | | | | | * | | | Fix anomaly in [Type foo] command, + print uctx like Check. | 2017-12-11 | |
| | | | | | | | | * | | | | [proof] Embed evar_map in RefinerError exception. | 2017-12-11 | |
| |_|_|_|_|_|_|_|/ / / / |/| | | | | | | | | | | | |||
| | | | | | | | * | | | | Restoring filtering of native files passed to `rm` during `make clean`. | 2017-12-11 | |
| | | | | | | | | | * | | [flags] [stm] Reorganize flags. | 2017-12-11 | |
| | | | | | | | | | * | | [stm] Move process_id to Spawned. | 2017-12-11 | |
| |_|_|_|_|_|_|_|_|/ / |/| | | | | | | | | | | |||
* | | | | | | | | | | | Merge PR #6368: [api] Remove yet another type alias. | 2017-12-11 | |
|\ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6352: [makefile] Address #6291: install more development files. | 2017-12-11 | |
|\ \ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6324: Fix #6323: stronger restrict universe context vs abstract. | 2017-12-11 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #1150: [stm] Remove all but one use of VtUnknown. | 2017-12-11 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6338: Remove up-to-conversion term matching | 2017-12-11 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6369: [api] Remove kernel dependency on intf (Decl_kind) | 2017-12-11 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6363: [META] Some dependency fixes. | 2017-12-11 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6358: [ci] Download ci-sf archives into the proper CI build dir. | 2017-12-11 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6351: Fix a copy-paste error in ci-ltac2. | 2017-12-11 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6346: [ci] CoLoR has moved to github | 2017-12-11 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6340: [default.nix] Add ocpIndent and ocp-index. | 2017-12-11 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
| | | | | | | | | | | | | | | | | * | | | | | Axiom-free proof of eta expansion. | 2017-12-11 | |
| | | | | | | | | | | | | | | | | | | | | * | [make] remove unneeded generated file "tolink.ml" | 2017-12-10 | |
| | | | | | | | | | | | | | | | | | | | | * | [build] Remove coqmktop in favor of ocamlfind. | 2017-12-10 | |
* | | | | | | | | | | | | | | | | | | | | | | Merge PR #6370: [ci] Temporal workaround for checker non-backwards compatible... | 2017-12-10 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
| * | | | | | | | | | | | | | | | | | | | | | | [ci] Temporal workaround for checker non-backwards compatible change. | 2017-12-10 | |
| | | | | | | * | | | | | | | | | | | | | | | | [api] Remove kernel dependency on intf (Decl_kind) | 2017-12-10 | |
| | |_|_|_|_|/ / / / / / / / / / / / / / / / | |/| | | | | | | | | | | | | | | | | | | | | |||
| | | | | | | | | | | * | | | | | | | | | | | [api] Remove yet another type alias. | 2017-12-09 | |
| | |_|_|_|_|_|_|_|_|/ / / / / / / / / / / | |/| | | | | | | | | | | | | | | | | | | | |||
| | | | | | * | | | | | | | | | | | | | | | [META] Some dependency fixes. | 2017-12-09 | |
| | |_|_|_|/ / / / / / / / / / / / / / / | |/| | | | | | | | | | | | | | | | | | | |||
| | | | | | | | | | | | | | | | | | | * | [lib] Rename Profile to CProfile | 2017-12-09 | |
| | |_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ | |/| | | | | | | | | | | | | | | | | | |||
| | | | | | | * | | | | | | | | | | | | [stm] Remove all but one use of VtUnknown. | 2017-12-09 | |
| | |_|_|_|_|/ / / / / / / / / / / / | |/| | | | | | | | | | | | | | | | | |||
| | | | | | | | | | | | | * | | | | | [summary] Adapt STM to the new Summary API. | 2017-12-09 | |
| | | | | | | | | | | | | * | | | | | [summary] Allow typed projections from global state + rework of internals. | 2017-12-09 | |
| | | | | | | | | | | | | * | | | | | [lib] Convenience function for `Dyn.Easy` | 2017-12-09 | |
| | |_|_|_|_|_|_|_|_|_|_|/ / / / / | |/| | | | | | | | | | | | | | | | |||
| | | | | | * | | | | | | | | | | | Remove up-to-conversion matching functions. | 2017-12-09 | |
| | | | | | | | | | | | | * | | | | Remove most uses of function extensionality in Program.Combinators | 2017-12-09 | |
| | |_|_|_|_|_|_|_|_|_|_|/ / / / | |/| | | | | | | | | | | | | | | |||
| | | | | * | | | | | | | | | | | [ci] Download ci-sf archives into the proper CI build dir. | 2017-12-09 | |
| |_|_|_|/ / / / / / / / / / / |/| | | | | | | | | | | | | | | |||
| * | | | | | | | | | | | | | | Revert "CI: poc Circleci configuration" | 2017-12-08 | |
| * | | | | | | | | | | | | | | CI: poc Circleci configuration | 2017-12-08 | |
|/ / / / / / / / / / / / / / |