coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
\|\ \
\| \| *	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
\|\ \ \
* \ \ \	Merge PR #7320: [ci] Also make some display targets for fiat-crypto	Emilio Jesus Gallego Arias	2018-04-21
\|\ \ \ \
\| * \| \| \|	[ci] Also make some display targets for fiat-crypto	Jason Gross	2018-04-20
* \| \| \| \|	CI: add fcsl-pcm	Anton Trunov	2018-04-20
\|/ / / /
* \| \| \|	Merge PR #7219: merge script support https + typos in doc	Maxime Dénès	2018-04-19
\|\ \ \ \
* \| \| \| \|	CI: extract iris git version without using opam	Ralf Jung	2018-04-18
* \| \| \| \|	fix iris-lambda-rust CI	Ralf Jung	2018-04-18
* \| \| \| \|	Merge PR #7242: Update the CI branch for Equations.	Gaëtan Gilbert	2018-04-17
\|\ \ \ \ \
* \| \| \| \| \|	pre-commit : do not fail miserably if git config has `apply.whitespace = fix`	Pierre Letouzey	2018-04-17
\| \| \| \| \| *	Update debugging.md	Jasper Hugunin	2018-04-15
\| \|_\|_\|_\|/ \|/\| \| \| \|
\| \| \| * \|	[doc] [engine] Document `abort_on_undefined_evars`.	Emilio Jesus Gallego Arias	2018-04-15
\| \|_\|/ / \|/\| \| \|
\| * \| \|	Update the CI branch for Equations.	Théo Zimmermann	2018-04-13
* \| \| \|	Overlay for econstr in Evd.	Gaëtan Gilbert	2018-04-13
* \| \| \|	Evar maps contain econstrs.	Gaëtan Gilbert	2018-04-13
\|/ / /
* \| \|	Merge PR #6454: [econstr] Flag to make `to_constr` fail if its output contain...	Pierre-Marie Pédrot	2018-04-13
\|\ \ \
\| \| * \|	merge script support https + typos in doc	Pierre Courtieu	2018-04-11
\| \|/ / \|/\| \|
* \| \|	Merge script: adds a way for confirmation to expect a newline.	Théo Zimmermann	2018-04-09
* \| \|	Add sanity check in merge script: local branch is up-to-date.	Théo Zimmermann	2018-04-09
* \| \|	Document requirement to have git >= 2.7 to use the merge script.	Théo Zimmermann	2018-04-08
* \| \|	Merge script does not warn when the remote is set to HTTPS.	Théo Zimmermann	2018-04-08
* \| \|	Merge script: use fetch URL for the remote.	Théo Zimmermann	2018-04-08
* \| \|	Merge PR #6809: Improve shell scripts	Michael Soegtrop	2018-04-08
\|\ \ \
* \ \ \	Merge PR #6960: [api] Move some types to their proper module.	Pierre-Marie Pédrot	2018-04-06
\|\ \ \ \
* \ \ \ \	Merge PR #7178: Fixes issue #7172 (don't include MinGW make in install)	Enrico Tassi	2018-04-06
\|\ \ \ \ \
\| \| \| \| \| *	[api] Remove dependency of library on Vernacexpr.	Emilio Jesus Gallego Arias	2018-04-06
\| \|_\|_\|_\|/ \|/\| \| \| \|
\| \| \| * \|	Improve shell scripts	zapashcanon	2018-04-05
\| \|_\|/ / \|/\| \| \|
\| * \| \|	Fixes issue #7172 (don't include MinGW make in install)	Michael Soegtrop	2018-04-05
* \| \| \|	Add note for homebrew users.	Théo Zimmermann	2018-04-05
* \| \| \|	Some advice about merge script dependencies.	Théo Zimmermann	2018-04-05
* \| \| \|	Improve the MERGING doc.	Théo Zimmermann	2018-04-05
\|/ / /
* \| \|	merge-pr.sh: cache github API calls	Gaëtan Gilbert	2018-04-03
\| * \|	[api] Move some types to their proper module.	Emilio Jesus Gallego Arias	2018-04-02
\|/ /