| Commit message (Expand) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | | | | | | [ci] Add ounit to the base Docker package set. |  Emilio Jesus Gallego Arias | 2018-05-07 | |
| * | | | | | | Merge PR #7387: [gitlab] [circleci] Use a Docker base image for CI |  Gaëtan Gilbert | 2018-05-06 | |
| |\ \ \ \ \ \ | ||||
| | * | | | | | | [gitlab] [circleci] Use a Custom Docker Image as base CI setup. | Emilio Jesus Gallego Arias | 2018-05-05 | |
| * | | | | | | | [api] Rename `global_reference` to `GlobRef.t` to follow kernel style. | Emilio Jesus Gallego Arias | 2018-05-04 | |
| |/ / / / / / | ||||
| | * | | | | | Fixes issue #7083 / Windows build: Unify build logging to console (for appvey... |  Michael Soegtrop | 2018-05-03 | |
| | * | | | | | Fixes issue #7081 / Windows build: strip in lablgtk build can fail randomly | Michael Soegtrop | 2018-05-03 | |
| |/ / / / / | ||||
| * | | | | | Merge PR #7400: ci-vst.sh: use -o progs | Emilio Jesus Gallego Arias | 2018-05-03 | |
| |\ \ \ \ \ | ||||
| * | | | | | | [ci]: add pidetop (fix #7336) |  Enrico Tassi | 2018-05-02 | |
| | * | | | | | ci-vst.sh: use -o progs | Gaëtan Gilbert | 2018-05-01 | |
| |/ / / / / | ||||
| * | | | | | [ci] Fix #7396: VST is broken | Emilio Jesus Gallego Arias | 2018-05-01 | |
| * | | | | | Merge PR #7351: Always print explanation for univ inconsistency, rm Flags.uni... | Emilio Jesus Gallego Arias | 2018-04-27 | |
| |\ \ \ \ \ | ||||
| * \ \ \ \ \ | Merge PR #7350: Updating CI to recent changes in Mtac2 (former MetaCoq) | Emilio Jesus Gallego Arias | 2018-04-26 | |
| |\ \ \ \ \ \ | ||||
| | | | | * | | | Add check-owners-pr.sh wrapper around check-owners | Gaëtan Gilbert | 2018-04-26 | |
| | | * | | | | | Always print explanation for univ inconsistency, rm Flags.univ_print | Gaëtan Gilbert | 2018-04-26 | |
| | * | | | | | | updating CI for Mtac2 |  Beta Ziliani | 2018-04-25 | |
| | |/ / / / / | ||||
| * | | | | | | Merge PR #7290: Update debugging.md |  Hugo Herbelin | 2018-04-25 | |
| |\ \ \ \ \ \ | |/ / / / / |/| | | | | | ||||
| * | | | | | | [api] Relocate `intf` modules according to dependency-order. | Emilio Jesus Gallego Arias | 2018-04-23 | |
| | |/ / / / |/| | | | | ||||
| * | | | | | Merge PR #7152: [api] Remove dependency of library on Vernacexpr. |  Pierre-Marie Pédrot | 2018-04-23 | |
| |\ \ \ \ \ | ||||
| * \ \ \ \ \ | Merge PR #7240: [doc] [engine] Document `abort_on_undefined_evars`. | Pierre-Marie Pédrot | 2018-04-23 | |
| |\ \ \ \ \ \ | ||||
| * \ \ \ \ \ \ | Merge PR #7320: [ci] Also make some display targets for fiat-crypto | Emilio Jesus Gallego Arias | 2018-04-21 | |
| |\ \ \ \ \ \ \ | ||||
| | * | | | | | | | [ci] Also make some display targets for fiat-crypto |  Jason Gross | 2018-04-20 | |
| * | | | | | | | | CI: add fcsl-pcm |  Anton Trunov | 2018-04-20 | |
| |/ / / / / / / | ||||
| * | | | | | | | Merge PR #7219: merge script support https + typos in doc |  Maxime Dénès | 2018-04-19 | |
| |\ \ \ \ \ \ \ | ||||
| * | | | | | | | | CI: extract iris git version without using opam |  Ralf Jung | 2018-04-18 | |
| * | | | | | | | | fix iris-lambda-rust CI | Ralf Jung | 2018-04-18 | |
| * | | | | | | | | Merge PR #7242: Update the CI branch for Equations. | Gaëtan Gilbert | 2018-04-17 | |
| |\ \ \ \ \ \ \ \ | ||||
| * | | | | | | | | | pre-commit : do not fail miserably if git config has `apply.whitespace = fix` |  Pierre Letouzey | 2018-04-17 | |
| | | | | | * | | | | Update debugging.md |  Jasper Hugunin | 2018-04-15 | |
| | |_|_|_|/ / / / |/| | | | | | | | ||||
| | | | * | | | | | [doc] [engine] Document `abort_on_undefined_evars`. | Emilio Jesus Gallego Arias | 2018-04-15 | |
| | |_|/ / / / / |/| | | | | | | ||||
| | * | | | | | | Update the CI branch for Equations. |  Théo Zimmermann | 2018-04-13 | |
| * | | | | | | | Overlay for econstr in Evd. | Gaëtan Gilbert | 2018-04-13 | |
| * | | | | | | | Evar maps contain econstrs. | Gaëtan Gilbert | 2018-04-13 | |
| |/ / / / / / | ||||
| * | | | | | | Merge PR #6454: [econstr] Flag to make `to_constr` fail if its output contain... | Pierre-Marie Pédrot | 2018-04-13 | |
| |\ \ \ \ \ \ | ||||
| | | * | | | | | merge script support https + typos in doc |  Pierre Courtieu | 2018-04-11 | |
| | |/ / / / / |/| | | | | | ||||
| | | | | * | | Adding an overlay for Ltac2. | Pierre-Marie Pédrot | 2018-04-11 | |
| * | | | | | | Merge script: adds a way for confirmation to expect a newline. | Théo Zimmermann | 2018-04-09 | |
| * | | | | | | Add sanity check in merge script: local branch is up-to-date. | Théo Zimmermann | 2018-04-09 | |
| * | | | | | | Document requirement to have git >= 2.7 to use the merge script. | Théo Zimmermann | 2018-04-08 | |
| * | | | | | | Merge script does not warn when the remote is set to HTTPS. | Théo Zimmermann | 2018-04-08 | |
| * | | | | | | Merge script: use fetch URL for the remote. | Théo Zimmermann | 2018-04-08 | |
| | |_|_|/ / |/| | | | | ||||
| * | | | | | Merge PR #6809: Improve shell scripts | Michael Soegtrop | 2018-04-08 | |
| |\ \ \ \ \ | ||||
| * \ \ \ \ \ | Merge PR #6960: [api] Move some types to their proper module. | Pierre-Marie Pédrot | 2018-04-06 | |
| |\ \ \ \ \ \ | ||||
| * \ \ \ \ \ \ | Merge PR #7178: Fixes issue #7172 (don't include MinGW make in install) | Enrico Tassi | 2018-04-06 | |
| |\ \ \ \ \ \ \ | ||||
| | | | | | * | | | [api] Remove dependency of library on Vernacexpr. | Emilio Jesus Gallego Arias | 2018-04-06 | |
| | |_|_|_|/ / / |/| | | | | | | ||||
| | | | * | | | | Improve shell scripts |  zapashcanon | 2018-04-05 | |
| | |_|/ / / / |/| | | | | | ||||
| | * | | | | | Fixes issue #7172 (don't include MinGW make in install) | Michael Soegtrop | 2018-04-05 | |
| * | | | | | | Add note for homebrew users. | Théo Zimmermann | 2018-04-05 | |
| * | | | | | | Some advice about merge script dependencies. | Théo Zimmermann | 2018-04-05 | |
| * | | | | | | Improve the MERGING doc. | Théo Zimmermann | 2018-04-05 | |
| |/ / / / / | ||||
| | | | * | | check-owners.sh: add --show-patterns and --owner options | Gaëtan Gilbert | 2018-04-04 | |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |