| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-11-23 | Merge PR #9055: [dev] fix create_overlay wrt branch names containing / | Emilio Jesus Gallego Arias | |
| 2018-11-22 | [dev] fix create_overlay wrt branch names containing / | Enrico Tassi | |
| 2018-11-18 | merge-pr: Improve overlay check | Gaëtan Gilbert | |
| 2018-11-17 | [devtools] Small script to setup overlays automatically | Emilio Jesus Gallego Arias | |
| This is very preliminary but you should get the idea. The script tries to build contribs, then creates a branch and sets the remote properly as to submit a PR. Usage example: ``` ./dev/tools/create_overlays.sh ejgallego 9999 ltac2 elpi ``` This only works for contributions hosted in github for now. | |||
| 2018-11-02 | Remove ml4 from Coq's make build system | Gaëtan Gilbert | |
| 2018-10-08 | Merge PR #8627: [dune] [opam] Install `revision` file when building with Dune. | Théo Zimmermann | |
| 2018-10-04 | rename test files (do not start by a digit) | Vincent Laporte | |
| 2018-10-03 | [dune] [opam] Install `revision` file when building with Dune. | Emilio Jesus Gallego Arias | |
| Fixes #8621 | |||
| 2018-10-03 | Merge PR #8634: (For v8.9 and master) Remove -compat 8.6 and document the ↵ | Théo Zimmermann | |
| compat updates to do as part of a release. | |||
| 2018-10-02 | Update dev/doc/release-process: compat+automate | Jason Gross | |
| As requested in https://github.com/coq/coq/issues/8311#issuecomment-415976318 the release process describes the steps to take. All automatable steps are taken by the new script dev/tools/update-compat.py I've tried to make the script relatively easy to update if functions get renamed or moved, but since it's doing unstructured source manipulation, it is sort-of fragile. We could plausibly add a file to the test-suite to ensure that we catch script-breakage early, but this would require dropping compatibility support much earlier in the development cycle (the compatibility changes would have to come right when the new version is branched, rather than shortly before the beta release). | |||
| 2018-10-02 | [ci] [travis] Remove CI contrib testing from Travis. | Emilio Jesus Gallego Arias | |
| This was kept as a fallback for some time, not worth keeping it anymore as our GitLab setup seems mature and reliable enough. | |||
| 2018-07-18 | Merge PR #8054: [dev] Autogenerate OCaml dev files. | Enrico Tassi | |
| 2018-07-16 | Only check overlay extensions on git-tracked files | Jason Gross | |
| This way, when editors leave over temporary files from editing user-overlays, we don't prevent commits unless they are added to git. | |||
| 2018-07-12 | [dev] Autogenerate OCaml dev files. | Emilio Jesus Gallego Arias | |
| For now we only copy the templates, but we could do more fancy stuff. This helps to be compatible with build systems that take care of these files automatically, see: https://github.com/coq/coq/pull/6857#discussion_r202096579 | |||
| 2018-07-10 | Add new options --no-conflict and --no-signature-check to backport script. | Théo Zimmermann | |
| 2018-06-09 | [merge script] Check if the CI that was run is outdated. | Théo Zimmermann | |
| [ci skip] | |||
| 2018-05-15 | [doc] Add an ELisp snippet to insert Sphinx roles and quotes | Clément Pit-Claudel | |
| 2018-05-14 | Merge PR #7170: Script to identify the code owner for given files | Maxime Dénès | |
| 2018-05-14 | Merge PR #7337: dir-locals: add bug-reference-mode variables | Emilio Jesus Gallego Arias | |
| 2018-05-11 | coqdev.el: add bug-reference-mode variables | Gaëtan Gilbert | |
| 2018-05-09 | use at least 6 Xs in mktemp filename templates | Sven M. Hallberg | |
| OpenBSD mktemp fails with an error otherwise. | |||
| 2018-04-26 | Add check-owners-pr.sh wrapper around check-owners | Gaëtan Gilbert | |
| ``` $ dev/tools/check-owners-pr.sh 6809 --show-patterns --owner '@MSoegtropIMC' remote: Counting objects: 93, done. remote: Compressing objects: 100% (3/3), done. remote: Total 93 (delta 47), reused 50 (delta 47), pack-reused 43 Unpacking objects: 100% (93/93), done. From github.com:coq/coq * branch refs/pull/6809/head -> FETCH_HEAD * branch master -> FETCH_HEAD /dev/build/windows: @MSoegtropIMC ``` | |||
| 2018-04-19 | Merge PR #7219: merge script support https + typos in doc | Maxime Dénès | |
| 2018-04-17 | pre-commit : do not fail miserably if git config has `apply.whitespace = fix` | Pierre Letouzey | |
| Having `--whitespace=` on all `git apply` in this script should make it insensitive to user setup in `~/.gitconfig`, at least `[apply] whitespace = fix`. Note that even this way, this script remains hugely fragile and non mature, and would better *not* be set by default for everybody. | |||
| 2018-04-11 | merge script support https + typos in doc | Pierre Courtieu | |
| 2018-04-09 | Merge script: adds a way for confirmation to expect a newline. | Théo Zimmermann | |
| This fulfils Gaetan's wish. | |||
| 2018-04-09 | Add sanity check in merge script: local branch is up-to-date. | Théo Zimmermann | |
| In case the local branch is ahead of upstream, we only print a warning because it could be that we are merging several PRs in a row. | |||
| 2018-04-08 | Document requirement to have git >= 2.7 to use the merge script. | Théo Zimmermann | |
| As reported in https://github.com/coq/coq/issues/7097#issuecomment-378632415 | |||
| 2018-04-08 | Merge script does not warn when the remote is set to HTTPS. | Théo Zimmermann | |
| This should solve Emilio's problem. | |||
| 2018-04-08 | Merge script: use fetch URL for the remote. | Théo Zimmermann | |
| In case the push URL has been overriden to make it fetch-only. | |||
| 2018-04-05 | Improve shell scripts | zapashcanon | |
| 2018-04-04 | check-owners.sh: add --show-patterns and --owner options | Gaëtan Gilbert | |
| ```bash $ dev/tools/check-owners.sh --show-patterns Makefile Makefile.build /Makefile*: @letouzey $ dev/tools/check-owners.sh --owner '@gares' stm/stm.ml interp/declare.ml stm/stm.ml: @gares $ dev/tools/check-owners.sh --show-patterns --owner '@gares' stm/*.ml interp/*.ml /stm/: @gares ``` | |||
| 2018-04-04 | Script to identify the code owner for given files | Gaëtan Gilbert | |
| Can be used with git diff --name-only to identify owners for changes in given commits. | |||
| 2018-04-03 | merge-pr.sh: cache github API calls | Gaëtan Gilbert | |
| 2018-03-31 | pre-commit: verify user overlay extensions (must be .sh). | Gaëtan Gilbert | |
| This has come up a couple times. | |||
| 2018-03-23 | improve merge-pr script | Enrico Tassi | |
| The script now performs many more checks and reports errors in a more intelligible way. | |||
| 2018-02-24 | Merge PR #6803: coqdev.el: add space at the end of compile-command | Maxime Dénès | |
| 2018-02-21 | Merge PR #6283: A pre-commit hook to magically fix whitespace issues. | Maxime Dénès | |
| 2018-02-21 | coqdev.el: add space at the end of compile-command | Gaëtan Gilbert | |
| That way you can just type [-j] instead of having to remember to add a space yourself. | |||
| 2018-02-19 | Merge PR #6556: Remove dir-locals and ship suggested helper hooks instead. | Maxime Dénès | |
| 2018-02-13 | coqdev.el: wait for 'compile to touch compilation-error-regexp-alist | Gaëtan Gilbert | |
| (and alist-alist) | |||
| 2018-02-13 | coqdev.el: fix "compilate"-command typo | Gaëtan Gilbert | |
| 2018-02-13 | coqdev.el: shell-quote-argument the directory for make -C | Gaëtan Gilbert | |
| 2018-02-13 | coqdev.el: stop using when-let for emacs<25 compatibility. | Gaëtan Gilbert | |
| 2018-02-12 | Merge PR #6565: [Backport script] Check .mli files are not changed. | Maxime Dénès | |
| 2018-02-11 | Merge anomaly-traces-parser.el into coqdev.el. | Gaëtan Gilbert | |
| 2018-02-11 | coqdev.el: add installation instructions. | Gaëtan Gilbert | |
| 2018-02-08 | pre-commit: nicer messages | Gaëtan Gilbert | |
| 2018-02-08 | pre-commit: fail gracefully if fixing whitespace removes all changes | Gaëtan Gilbert | |
| 2018-02-08 | pre-commit: add files after fixing ending newlines. | Gaëtan Gilbert | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |