coq - The formal proof system

Age	Commit message (Expand)	Author
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
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
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
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
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
2019-01-08	[ci] Update fiat-crypto legacy	Jason Gross
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
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
2018-11-17	[ci] Uniformize casing of makefile targets and ci variables.	Emilio Jesus Gallego Arias
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
2018-10-18	[ci] Pin CI_REF to plugin_tutorial to use not yet merged commit.	Théo Zimmermann
2018-10-08	[ci] Add aac-tactics.	Théo Zimmermann
2018-10-05	CI: fix Iris and stdpp ref selection	Gaëtan Gilbert
2018-10-03	Fix issue #8321 "Add more useful addons to the Windows Installer"	Michael Soegtrop
2018-10-01	[ci] Add plugin-tutorial to CI.	Emilio Jesus Gallego Arias
2018-08-31	Download tarball instead of cloning external projects (when $CI is set).	Théo Zimmermann
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
2018-06-02	QuickChick CI	Leonidas Lampropoulos
2018-05-16	[ci] Don't build lite versions of CI developments.	Emilio Jesus Gallego Arias
2018-05-09	[ci] Add mit-plv/cross-crypto	Jason Gross
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
2018-02-19	ci: add elpi	Enrico Tassi