coq/dev/ci/nix, branch master The formal proof system CI script wrapper now requires Python 2020-09-28T07:15:49+00:00 Maxime Dénès 2020-09-28T07:15:49+00:00 424ae427197126a2fcbd5f07eaa181fb6f81ad84 






Add simple-io to dev/ci/nix.
2020-09-10T15:14:48+00:00

Théo Zimmermann

2020-09-10T15:14:48+00:00

0f92ad32b56ad15e8029b6320cac38a237c810f4












[dev/ci/nix] Support for building the Gappa plugin.
2020-06-10T17:21:03+00:00

Théo Zimmermann

2020-06-10T16:28:35+00:00

89d65078a1a35558a9e5f934ef6074d8671db811












CI: ext-lib is at coq-community now
2020-04-28T20:51:29+00:00

Antonio Nikishaev

2020-04-28T20:51:29+00:00

6df2068c5f98fa0c4aa4fc67273ec9378a2ba0fc












Remove fiat-crypto-legacy from CI
2020-02-11T15:45:53+00:00

Maxime Dénès

2020-01-31T09:49:02+00:00

35a1cc4f5c708b745a2810a64d220f49eff4beca

Motivations:
- We should have only maintained developments in our CI
- `make ci-fiat-crypto-legacy` takes about 15 mins before the first call
to `coqc`, making it unusable to work on overlays
- The coding style of this development is so fragile that adapting to
any change of behavior requires diffing gigabytes of Ltac traces.
@mattam82 and I have been blocked for 6 months this way, when working on
unifall.

I understand this development was meant to stress-test some components
like printing, but I think the trade-off is bad. We should rather come
up with specialized test suites for these components.





Motivations:
- We should have only maintained developments in our CI
- `make ci-fiat-crypto-legacy` takes about 15 mins before the first call
to `coqc`, making it unusable to work on overlays
- The coding style of this development is so fragile that adapting to
any change of behavior requires diffing gigabytes of Ltac traces.
@mattam82 and I have been blocked for 6 months this way, when working on
unifall.

I understand this development was meant to stress-test some components
like printing, but I think the trade-off is bad. We should rather come
up with specialized test suites for these components.







[Nix/CI] Add verdi-raft
2020-01-15T09:01:17+00:00

Vincent Laporte

2019-11-05T13:19:51+00:00

c072c6d11a1ed5712e84d3e8da5172c3d162a2d4












[Nix/CI] Update fiat_crypto
2020-01-15T09:01:17+00:00

Vincent Laporte

2019-11-04T16:09:30+00:00

0a5d20dc9dbe8bb0bbebf87d5f482dcd6ce12120












[Nix-ci] Update Unicoq patch
2019-05-17T08:36:25+00:00

Vincent Laporte

2019-05-15T12:14:24+00:00

3faa91524befcd3c163ec34684986fde3aa37462












[Nix-CI] Bignums no longer depends on camlp5
2019-05-17T08:36:25+00:00

Vincent Laporte

2019-05-15T09:20:37+00:00

02d547e3bc531c9a0bec8d47436c204e3bc15ddc












[nix-ci] Add coquelicot, improve flocq
2019-05-07T14:18:24+00:00

Vincent Laporte

2019-05-03T12:00:34+00:00

782312a65310dc717d830b3e8e5a7ba54b4cfb6e