coq - The formal proof system

Age	Commit message (Collapse)	Author
2020-09-28	CI script wrapper now requires Python	Maxime Dénès

2020-09-10	Add simple-io to dev/ci/nix.	Théo Zimmermann

2020-06-10	[dev/ci/nix] Support for building the Gappa plugin.	Théo Zimmermann

2020-04-29	CI: ext-lib is at coq-community now	Antonio Nikishaev

2020-02-11	Remove fiat-crypto-legacy from CI	Maxime Dénès
	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.
2020-01-15	[Nix/CI] Add verdi-raft	Vincent Laporte

2019-05-07	[nix-ci] Add coquelicot, improve flocq	Vincent Laporte

2019-03-18	[nix] Update reference to nixpkgs	Vincent Laporte

2019-03-18	[nix] Move nixpkgs.nix into the dev/ directory	Vincent Laporte

2019-03-18	[nix-ci] Use “master” versions of “coq-ext-lib” and “simple-io”	Vincent Laporte

2019-03-18	[nix-ci] Share the reference to nixpkgs with default.nix	Vincent Laporte

2019-02-05	[Nix-CI] Add lambda-rust	Vincent Laporte

2019-02-05	[Nix-CI] Add Iris	Vincent Laporte

2019-01-24	[nix-CI] Split the build inputs	Vincent Laporte
	Coq and the Coq libraries can now be excluded (by setting the NOCOQ environment variable).
2019-01-24	[Nix-ci] Add QuickChick	Vincent Laporte

2019-01-24	[Nix-ci] Fix Unicoq	Vincent Laporte

2019-01-24	[Nix-ci] Add formal-topology	Vincent Laporte

2018-11-12	Helpers for debugging external projects from CI	Vincent Laporte