coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Split off Universes functions dealing with names.	Gaëtan Gilbert	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
\|\ \
* \ \	Merge PR #7391: Add a small documentation writer's guide	Maxime Dénès	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 #7519: git / gpg integration link	Théo Zimmermann	2018-05-15
\|\ \ \ \ \
\| \| \| \| * \|	[doc] Add an ELisp snippet to insert Sphinx roles and quotes	Clément Pit-Claudel	2018-05-15
\| \|_\|_\|/ / \|/\| \| \| \|
\| * \| \| \|	Update MERGING.md	Matthieu Sozeau	2018-05-15
\| * \| \| \|	Update MERGING.md	Matthieu Sozeau	2018-05-15
\| * \| \| \|	git / gpg integration link	Matthieu Sozeau	2018-05-15
\| \| \|_\|/ \| \|/\| \|
* \| \| \|	Merge PR #7213: Do not compute constr matching context if not used.	Matthieu Sozeau	2018-05-15
\|\ \ \ \ \| \|/ / / \|/\| \| \|
* \| \| \|	Merge PR #7170: Script to identify the code owner for given files	Maxime Dénès	2018-05-14
\|\ \ \ \
\| \| \| \| *	Update CI README with info about gitlab windows and docker jobs.	Gaëtan Gilbert	2018-05-14
\| \|_\|_\|/ \|/\| \| \|
* \| \| \|	Merge PR #7337: dir-locals: add bug-reference-mode variables	Emilio Jesus Gallego Arias	2018-05-14
\|\ \ \ \
* \ \ \ \	Merge PR #7482: Update CI documentation following recent evolutions.	Emilio Jesus Gallego Arias	2018-05-14
\|\ \ \ \ \
* \ \ \ \ \	Merge PR #7344: Windows packaging build with Gitlab CI	Gaëtan Gilbert	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
* \| \| \| \| \|	Merge PR #7470: use at least 6 Xs in mktemp filename templates	Gaëtan Gilbert	2018-05-11
\|\ \ \ \ \ \ \| \|_\|/ / / / \|/\| \| \| \| \|
\| \| \| * \| \|	coqdev.el: add bug-reference-mode variables	Gaëtan Gilbert	2018-05-11
\| \| * \| \| \|	Windows packaging build with Gitlab CI	Maxime Dénès	2018-05-11
\| \|/ / / / \|/\| \| \| \|
* \| \| \| \|	[ci] Add mit-plv/cross-crypto	Jason Gross	2018-05-09
\| * \| \| \|	use at least 6 Xs in mktemp filename templates	Sven M. Hallberg	2018-05-09
\|/ / / /
* \| \| \|	Merge PR #7435: [gitlab] Add bleeding-edge flambda build.	Gaëtan Gilbert	2018-05-09
\|\ \ \ \
\| * \| \| \|	[gitlab] Add bleeding-edge flambda build.	Emilio Jesus Gallego Arias	2018-05-07
* \| \| \| \|	Merge PR #7347: Fix for #7081 (Windows lablgtk) and #7083 (Windows logging)	Maxime Dénès	2018-05-07
\|\ \ \ \ \ \| \|/ / / / \|/\| \| \| \|
* \| \| \| \|	[ci] Add ounit to the base Docker package set.	Emilio Jesus Gallego Arias	2018-05-07
* \| \| \| \|	Merge PR #7387: [gitlab] [circleci] Use a Docker base image for CI	Gaëtan Gilbert	2018-05-06
\|\ \ \ \ \
\| * \| \| \| \|	[gitlab] [circleci] Use a Custom Docker Image as base CI setup.	Emilio Jesus Gallego Arias	2018-05-05
* \| \| \| \| \|	[api] Rename `global_reference` to `GlobRef.t` to follow kernel style.	Emilio Jesus Gallego Arias	2018-05-04
\|/ / / / /
\| * \| \| \|	Fixes issue #7083 / Windows build: Unify build logging to console (for appvey...	Michael Soegtrop	2018-05-03
\| * \| \| \|	Fixes issue #7081 / Windows build: strip in lablgtk build can fail randomly	Michael Soegtrop	2018-05-03
\|/ / / /
* \| \| \|	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
* \| \| \|	Merge PR #7351: Always print explanation for univ inconsistency, rm Flags.uni...	Emilio Jesus Gallego Arias	2018-04-27
\|\ \ \ \
* \ \ \ \	Merge PR #7350: Updating CI to recent changes in Mtac2 (former MetaCoq)	Emilio Jesus Gallego Arias	2018-04-26
\|\ \ \ \ \
\| \| \| \| * \|	Add check-owners-pr.sh wrapper around check-owners	Gaëtan Gilbert	2018-04-26
\| \| * \| \| \|	Always print explanation for univ inconsistency, rm Flags.univ_print	Gaëtan Gilbert	2018-04-26
\| * \| \| \| \|	updating CI for Mtac2	Beta Ziliani	2018-04-25
\| \|/ / / /
* \| \| \| \|	Merge PR #7290: Update debugging.md	Hugo Herbelin	2018-04-25
\|\ \ \ \ \ \| \|/ / / / \|/\| \| \| \|
* \| \| \| \|	[api] Relocate `intf` modules according to dependency-order.	Emilio Jesus Gallego Arias	2018-04-23
\| \|/ / / \|/\| \| \|
* \| \| \|	Merge PR #7152: [api] Remove dependency of library on Vernacexpr.	Pierre-Marie Pédrot	2018-04-23
\|\ \ \ \
* \ \ \ \	Merge PR #7240: [doc] [engine] Document `abort_on_undefined_evars`.	Pierre-Marie Pédrot	2018-04-23
\|\ \ \ \ \