coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[ci] GeoCoq now depends on math-comp's ssralg.	Emilio Jesus Gallego Arias	2018-06-11
*	Merge PR #7687: [ci] [docker] Pin specific versions of OPAM CI dependencies.	Gaëtan Gilbert	2018-06-08
\|\
\| *	[ci] [docker] Pin specific versions of OPAM CI dependencies.	Emilio Jesus Gallego Arias	2018-06-06
* \|	Add a note about [ci skip] in CI README.	Théo Zimmermann	2018-06-06
\|/
*	Merge PR #7717: [ci] Temporal fix for CompCert	Gaëtan Gilbert	2018-06-06
\|\
\| *	[ci] Temporal fix for CompCert	Emilio Jesus Gallego Arias	2018-06-06
* \|	Merge PR #7099: Stronger invariants in unification signature.	Matthieu Sozeau	2018-06-05
\|\ \
* \ \	Merge PR #7495: Fix restrict_universe_context	Matthieu Sozeau	2018-06-05
\|\ \ \ \| \|_\|/ \|/\| \|
* \| \|	Merge PR #7596: [ci] [windows] Use newer OCaml version.	Michael Soegtrop	2018-06-04
\|\ \ \
\| \| \| *	Adding an overlay for the Equations plugin.	Pierre-Marie Pédrot	2018-06-04
\| \|_\|/ \|/\| \|
* \| \|	QuickChick CI	Leonidas Lampropoulos	2018-06-02
* \| \|	[ci] Expose updated `OCAMLPATH` for CI users.	Emilio Jesus Gallego Arias	2018-06-02
\| * \|	[appveyor] Use OCaml version 4.06.1 in the Windows build.	Emilio Jesus Gallego Arias	2018-06-02
\|/ /
\| *	overlay triggering bug #7472 (that #7495) is supposed to fix	Enrico Tassi	2018-05-30
* \|	[api] Make `vernac/` self-contained.	Emilio Jesus Gallego Arias	2018-05-27
\|/
*	Merge PR #7543: [ide] Move common protocol library to its own folder/object.	Pierre-Marie Pédrot	2018-05-26
\|\
* \|	Use -j 1 for high memory fiat crypto targets	Gaëtan Gilbert	2018-05-25
* \|	[tactics] Remove anonymous fix/cofix form.	Emilio Jesus Gallego Arias	2018-05-24
* \|	Complete rewrite of the documentation of overlays after Jim's additional comm...	Théo Zimmermann	2018-05-24
* \|	Relax advice on the name of user-overlays following Gaëtan's suggestion.	Théo Zimmermann	2018-05-24
* \|	Improve merging and overlay documentations.	Théo Zimmermann	2018-05-24
\| *	[ide] Move common protocol library to its own folder/object.	Emilio Jesus Gallego Arias	2018-05-24
\|/
*	[ci] Build fiat-crypto targets in sequence	Jason Gross	2018-05-22
*	Merge PR #7526: [circle] Use Docker image from Gitlab registry.	Gaëtan Gilbert	2018-05-22
\|\
* \|	[stm] Make toplevels standalone executables.	Emilio Jesus Gallego Arias	2018-05-21
* \|	[CI] Fix the script used by math-classes.	Pierre-Marie Pédrot	2018-05-18
\| *	[circle] Use Docker image from Gitlab registry.	Emilio Jesus Gallego Arias	2018-05-17
\|/
*	Merge PR #7525: [ci] Try to build more of fiat-crypto.	Gaëtan Gilbert	2018-05-17
\|\
* \	Merge PR #6808: Add unit tests to test-suite	Gaëtan Gilbert	2018-05-17
\|\ \
\| \| *	[ci] Try to build more of fiat-crypto.	Emilio Jesus Gallego Arias	2018-05-16
\| \|/ \|/\|
* \|	Merge PR #7514: [ci] Don't build lite versions of CI developments.	Gaëtan Gilbert	2018-05-16
\|\ \
\| \| *	add unit tests to test suite	Paul Steckler	2018-05-16
\| \|/ \|/\|
* \|	Merge PR #7442: Gitlab: build docker image in pipeline and use through registry.	Emilio Jesus Gallego Arias	2018-05-16
\|\ \
\| \| *	[ci] Don't build lite versions of CI developments.	Emilio Jesus Gallego Arias	2018-05-16
* \| \|	Merge PR #7505: Pick up user overlays when running GitLab CI on PRs.	Emilio Jesus Gallego Arias	2018-05-16
\|\ \ \
* \ \ \	Merge PR #7213: Do not compute constr matching context if not used.	Matthieu Sozeau	2018-05-15
\|\ \ \ \ \| \|_\|_\|/ \|/\| \| \|
\| \| \| *	Update CI README with info about gitlab windows and docker jobs.	Gaëtan Gilbert	2018-05-14
\| \|_\|/ \|/\| \|
* \| \|	Merge PR #7482: Update CI documentation following recent evolutions.	Emilio Jesus Gallego Arias	2018-05-14
\|\ \ \
\| \| \| *	Pick up user overlays when running GitLab CI on PRs.	Théo Zimmermann	2018-05-14
\| * \| \|	Update CI documentation following recent evolutions.	Théo Zimmermann	2018-05-14
\| \| \|/ \| \|/\|
* / \|	Windows packaging build with Gitlab CI	Maxime Dénès	2018-05-11
\|/ /
* \|	[ci] Add mit-plv/cross-crypto	Jason Gross	2018-05-09
* \|	[gitlab] Add bleeding-edge flambda build.	Emilio Jesus Gallego Arias	2018-05-07
* \|	[ci] Add ounit to the base Docker package set.	Emilio Jesus Gallego Arias	2018-05-07
* \|	[gitlab] [circleci] Use a Custom Docker Image as base CI setup.	Emilio Jesus Gallego Arias	2018-05-05
* \|	Merge PR #7400: ci-vst.sh: use -o progs	Emilio Jesus Gallego Arias	2018-05-03
\|\ \
* \| \|	[ci]: add pidetop (fix #7336)	Enrico Tassi	2018-05-02
\| * \|	ci-vst.sh: use -o progs	Gaëtan Gilbert	2018-05-01
\|/ /
* \|	[ci] Fix #7396: VST is broken	Emilio Jesus Gallego Arias	2018-05-01
* \|	updating CI for Mtac2	Beta Ziliani	2018-04-25