Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Merge PR #6965: [api] Move universe syntax to `Glob_term` | 2018-05-18 | |
|\ | |||
* \ | Merge PR #7525: [ci] Try to build more of fiat-crypto. | 2018-05-17 | |
|\ \ | |||
* \ \ | Merge PR #6808: Add unit tests to test-suite | 2018-05-17 | |
|\ \ \ | |||
| | * | | [ci] Try to build more of fiat-crypto. | 2018-05-16 | |
| |/ / |/| | | |||
* | | | Merge PR #7514: [ci] Don't build lite versions of CI developments. | 2018-05-16 | |
|\ \ \ | |||
* \ \ \ | Merge PR #7391: Add a small documentation writer's guide | 2018-05-16 | |
|\ \ \ \ | |||
| | | * | | add unit tests to test suite | 2018-05-16 | |
| |_|/ / |/| | | | |||
* | | | | Merge PR #7442: Gitlab: build docker image in pipeline and use through registry. | 2018-05-16 | |
|\ \ \ \ | |||
| | | * | | [ci] Don't build lite versions of CI developments. | 2018-05-16 | |
* | | | | | Merge PR #7505: Pick up user overlays when running GitLab CI on PRs. | 2018-05-16 | |
|\ \ \ \ \ | |||
* \ \ \ \ \ | Merge PR #7519: git / gpg integration link | 2018-05-15 | |
|\ \ \ \ \ \ | |||
| | | | * | | | [doc] Add an ELisp snippet to insert Sphinx roles and quotes | 2018-05-15 | |
| |_|_|/ / / |/| | | | | | |||
| * | | | | | Update MERGING.md | 2018-05-15 | |
| * | | | | | Update MERGING.md | 2018-05-15 | |
| * | | | | | git / gpg integration link | 2018-05-15 | |
| | |_|/ / | |/| | | | |||
* | | | | | Merge PR #7213: Do not compute constr matching context if not used. | 2018-05-15 | |
|\ \ \ \ \ | |/ / / / |/| | | | | |||
* | | | | | Merge PR #7170: Script to identify the code owner for given files | 2018-05-14 | |
|\ \ \ \ \ | |||
| | | | * | | Update CI README with info about gitlab windows and docker jobs. | 2018-05-14 | |
| |_|_|/ / |/| | | | | |||
* | | | | | Merge PR #7337: dir-locals: add bug-reference-mode variables | 2018-05-14 | |
|\ \ \ \ \ | |||
* \ \ \ \ \ | Merge PR #7482: Update CI documentation following recent evolutions. | 2018-05-14 | |
|\ \ \ \ \ \ | |||
* \ \ \ \ \ \ | Merge PR #7344: Windows packaging build with Gitlab CI | 2018-05-14 | |
|\ \ \ \ \ \ \ | |||
| | | | | | * | | Pick up user overlays when running GitLab CI on PRs. | 2018-05-14 | |
| |_|_|_|_|/ / |/| | | | | | | |||
| | * | | | | | Update CI documentation following recent evolutions. | 2018-05-14 | |
* | | | | | | | Merge PR #7470: use at least 6 Xs in mktemp filename templates | 2018-05-11 | |
|\ \ \ \ \ \ \ | |_|/ / / / / |/| | | | | | | |||
| | | * | | | | coqdev.el: add bug-reference-mode variables | 2018-05-11 | |
| | * | | | | | Windows packaging build with Gitlab CI | 2018-05-11 | |
| |/ / / / / |/| | | | | | |||
* | | | | | | [ci] Add mit-plv/cross-crypto | 2018-05-09 | |
| * | | | | | use at least 6 Xs in mktemp filename templates | 2018-05-09 | |
|/ / / / / | |||
* | | | | | Merge PR #7435: [gitlab] Add bleeding-edge flambda build. | 2018-05-09 | |
|\ \ \ \ \ | |||
| | | | | * | [api] Move universe syntax to `Glob_term` | 2018-05-08 | |
| |_|_|_|/ |/| | | | | |||
| * | | | | [gitlab] Add bleeding-edge flambda build. | 2018-05-07 | |
* | | | | | Merge PR #7347: Fix for #7081 (Windows lablgtk) and #7083 (Windows logging) | 2018-05-07 | |
|\ \ \ \ \ | |/ / / / |/| | | | | |||
* | | | | | [ci] Add ounit to the base Docker package set. | 2018-05-07 | |
* | | | | | Merge PR #7387: [gitlab] [circleci] Use a Docker base image for CI | 2018-05-06 | |
|\ \ \ \ \ | |||
| * | | | | | [gitlab] [circleci] Use a Custom Docker Image as base CI setup. | 2018-05-05 | |
* | | | | | | [api] Rename `global_reference` to `GlobRef.t` to follow kernel style. | 2018-05-04 | |
|/ / / / / | |||
| * | | | | Fixes issue #7083 / Windows build: Unify build logging to console (for appvey... | 2018-05-03 | |
| * | | | | Fixes issue #7081 / Windows build: strip in lablgtk build can fail randomly | 2018-05-03 | |
|/ / / / | |||
* | | | | Merge PR #7400: ci-vst.sh: use -o progs | 2018-05-03 | |
|\ \ \ \ | |||
* | | | | | [ci]: add pidetop (fix #7336) | 2018-05-02 | |
| * | | | | ci-vst.sh: use -o progs | 2018-05-01 | |
|/ / / / | |||
* | | | | [ci] Fix #7396: VST is broken | 2018-05-01 | |
* | | | | Merge PR #7351: Always print explanation for univ inconsistency, rm Flags.uni... | 2018-04-27 | |
|\ \ \ \ | |||
* \ \ \ \ | Merge PR #7350: Updating CI to recent changes in Mtac2 (former MetaCoq) | 2018-04-26 | |
|\ \ \ \ \ | |||
| | | | * | | Add check-owners-pr.sh wrapper around check-owners | 2018-04-26 | |
| | * | | | | Always print explanation for univ inconsistency, rm Flags.univ_print | 2018-04-26 | |
| * | | | | | updating CI for Mtac2 | 2018-04-25 | |
| |/ / / / | |||
* | | | | | Merge PR #7290: Update debugging.md | 2018-04-25 | |
|\ \ \ \ \ | |/ / / / |/| | | | | |||
* | | | | | [api] Relocate `intf` modules according to dependency-order. | 2018-04-23 | |
| |/ / / |/| | | | |||
* | | | | Merge PR #7152: [api] Remove dependency of library on Vernacexpr. | 2018-04-23 | |
|\ \ \ \ |