| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-12-02 | [CI] Test latest artifacts of SF instead of the stable version | Maxime Dénès | |
| 2019-11-27 | [ci] Split out the dependencies of fiat-crypto | Jason Gross | |
| 2019-11-21 | add tlc to ci; please proof read very carefully and test. thanks | charguer | |
| 2019-09-20 | [ci] Add mit-pdos/perennial | Tej Chajed | |
| 2019-08-19 | Std++, Iris, and Lambda-Rust have moved. | Théo Zimmermann | |
| We update the URLs to the new ones, even if the previous continue to work. | |||
| 2019-07-29 | Fix issue #10593 : Software foundations URL changed | Michael Soegtrop | |
| 2019-07-16 | Fix #9351 in master (Add Flocq, CoqInterval, Gappa tool and Gappa) | Michael Soegtrop | |
| 2019-06-07 | simple IO CI branch is now `master` | Gaëtan Gilbert | |
| 2019-05-10 | Merge PR #9854: Improve field_simplify on fractions with constant denominator | Michael Soegtrop | |
| Reviewed-by: MSoegtropIMC Ack-by: Zimmi48 Reviewed-by: amahboubi Reviewed-by: vbgl | |||
| 2019-05-09 | Switched Coquelicot CI URLs from INRIA gforge to INRIA gitlab | Michael Soegtrop | |
| 2019-05-07 | Remove ppedrot/ltac2 from CI after integration in main repo | Gaëtan Gilbert | |
| 2019-04-24 | [coq_makefile] Enforce warn_error for plugins. | Emilio Jesus Gallego Arias | |
| The amount of dangerous warnings in plugins is out of hand, including some very serious ones. As Coq developers are maintaining plugins these days it makes sense to require the contributions to follow the same coding discipline as in the main tree, thus we require the set of warnings fatal warnings to be the same in Coq and in plugins. We don't mark deprecation as fatal as to allow time for migration. Fixes #6974 | |||
| 2019-04-01 | [CI] Coquelicot: use “master” development version | Vincent Laporte | |
| 2019-03-31 | CI: add mit-pdos/argosy | Tej Chajed | |
| 2019-03-28 | Use only lowercase for unimath in CI scripts | Gaëtan Gilbert | |
| Fix #9845 | |||
| 2019-03-05 | [CI] Add stdlib2 | Vincent Laporte | |
| 2019-02-04 | the default branch of Mtac2 changed to master | beta | |
| 2019-01-11 | Merge pull request #8778 from SkySkimmer/merge-plugin-tuto | Yves Bertot | |
| Move plugin tutorial to Coq repo | |||
| 2019-01-08 | [ci] Update fiat-crypto legacy | Jason Gross | |
| Once https://github.com/mit-plv/fiat-crypto/pull/477 is merged, the master branch will no longer contain the files nor the targets for fiat-crypto legacy. (We should perhaps consider moving fiat-crypto legacy to coq-community as a source of vm and printing tests.) | |||
| 2019-01-08 | Integrate plugin tutorial after code import | Gaëtan Gilbert | |
| 2019-01-07 | Merge PR #9309: [ci] Add Verdi Raft with dependencies to CI | Emilio Jesus Gallego Arias | |
| 2019-01-05 | [ci] Add Verdi Raft with dependencies to CI | Karl Palmskog | |
| 2019-01-04 | Remove formal-topology from CI | Maxime Dénès | |
| This was suggested by the author. See https://github.com/bmsherman/topology/issues/23 | |||
| 2018-12-09 | fix copy-paste error in CI_ARCHIVEURL | Christian Doczkal | |
| 2018-12-09 | add relation-algebra to CI test suite | Christian Doczkal | |
| 2018-12-05 | [ci] Add four color theorem proof to CI | Emilio Jesus Gallego Arias | |
| 2018-12-04 | CI: track dev branch of coq-simple-io | Yishuai Li | |
| 2018-11-21 | Remove pidetop from CI | Maxime Dénès | |
| pidetop relies on some rather low level API from STM, which we'd like to change. It does not seem maintained much anymore, and still hasn't moved to github. | |||
| 2018-11-17 | [ci] Uniformize casing of makefile targets and ci variables. | Emilio Jesus Gallego Arias | |
| This is convenient as to have better automation. | |||
| 2018-11-13 | Merge PR #8976: CoqHammer CI | Gaëtan Gilbert | |
| 2018-11-12 | CoqHammer CI | Lukasz Czajka | |
| 2018-11-10 | [ci] Add paramcoq to CI. | Emilio Jesus Gallego Arias | |
| 2018-10-26 | Revert "[ci] Pin CI_REF to plugin_tutorial to use not yet merged commit." | Gaëtan Gilbert | |
| This reverts commit df69c44af03f2587b3f1706a805d0e2728c1f1dc. Should be merged before any PR with plugin tutorial overlays, or we can just merge the vendor PR instead. | |||
| 2018-10-18 | [ci] Pin CI_REF to plugin_tutorial to use not yet merged commit. | Théo Zimmermann | |
| This fixes the CI until this commit is merged into master. | |||
| 2018-10-08 | [ci] Add aac-tactics. | Théo Zimmermann | |
| And fix a typo that was previously there. | |||
| 2018-10-05 | CI: fix Iris and stdpp ref selection | Gaëtan Gilbert | |
| This was broken due to a typo when introducing the archive download method. We also remove default [master] values from basic-overlay which hid this issue. | |||
| 2018-10-03 | Fix issue #8321 "Add more useful addons to the Windows Installer" | Michael Soegtrop | |
| Implemented by merging addon changes in V8.8.2 (keeping everything on master) | |||
| 2018-10-01 | [ci] Add plugin-tutorial to CI. | Emilio Jesus Gallego Arias | |
| This closes #7618. | |||
| 2018-08-31 | Download tarball instead of cloning external projects (when $CI is set). | Théo Zimmermann | |
| This allows to use fixed commits and not just branches or tags. We keep using git clone when $FORCE_GIT is set (for projects on gforge.inria.fr and projects pulling dependencies through git submodules). fiat-parsers also calls git submodule, but inside its own Makefile. | |||
| 2018-08-31 | [ci] Fix QuickChick by adding new simple-io dependency. | Théo Zimmermann | |
| 2018-06-27 | Add mit-plv/bedrock2-ci to CI | Andres Erbsen | |
| 2018-06-25 | Reuse CI info to know which version of plugins to build on Windows. | Théo Zimmermann | |
| 2018-06-21 | Update dpdgraph branch name | Gaëtan Gilbert | |
| See https://github.com/Karmaki/coq-dpdgraph/issues/50 for context | |||
| 2018-06-02 | QuickChick CI | Leonidas Lampropoulos | |
| 2018-05-16 | [ci] Don't build lite versions of CI developments. | Emilio Jesus Gallego Arias | |
| In the original Travis CI setup, the per-job time limit was an issue. However, Gitlab has much improved this problem due to a) Coq not being built for each contrib, b) user-configurable time limit. We thus disable the expensive builds from Travis: `fiat-crypto`, `formal-topology`, `geocoq`, `iris-lambda-rust`, `math-comp`, `unimath`, `vst` and instruct Gitlab to build [`geocoq`, `math-comp`, `unimath`, `vst`] in full. We also update the `math-comp` script as the `odd-order` theorem lives in a separate repository and it is a key CI case. | |||
| 2018-05-09 | [ci] Add mit-plv/cross-crypto | Jason Gross | |
| I followed the code for fiat-crypto / fiat-parsers. I hope I didn't miss anything. | |||
| 2018-05-02 | [ci]: add pidetop (fix #7336) | Enrico Tassi | |
| 2018-04-25 | updating CI for Mtac2 | Beta Ziliani | |
| 2018-04-20 | CI: add fcsl-pcm | Anton Trunov | |
| 2018-04-13 | Update the CI branch for Equations. | Théo Zimmermann | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |