coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge PR #6511: [econstr] Continue consolidation of EConstr API under `interp`.	Maxime Dénès	2018-03-04
\|\
* \	Merge PR #6676: [proofview] goals come with a state	Maxime Dénès	2018-03-04
\|\ \
\| \| *	[econstr] Continue consolidation of EConstr API under `interp`.	Emilio Jesus Gallego Arias	2018-02-28
\| \|/ \|/\|
* \|	[ast] Improve precision of Ast location recognition in serialization.	Emilio Jesus Gallego Arias	2018-02-22
\| *	overlay for ltac2 and Equations	Enrico Tassi	2018-02-20
* \|	ci: add elpi	Enrico Tassi	2018-02-19
\|/
*	Merge PR #6706: ci-common: guess CI_BRANCH for local builds	Maxime Dénès	2018-02-12
\|\
* \	Merge PR #6610: Points to Flocq official repository.	Maxime Dénès	2018-02-07
\|\ \
* \ \	Merge PR #6686: Kernel/checker reduction cleanups around projection unfolding	Maxime Dénès	2018-02-07
\|\ \ \
\| \| \| *	ci-common: guess CI_BRANCH for local builds	Gaëtan Gilbert	2018-02-07
\| \|_\|/ \|/\| \|
\| \| *	Points to Flocq official repository.	Théo Zimmermann	2018-02-05
\| \|/ \|/\|
\| *	Add overlay for equations (nf_beta takes an env)	Gaëtan Gilbert	2018-02-05
* \|	Merge PR #6654: CI: Run coqchk on Iris	Maxime Dénès	2018-02-05
\|\ \ \| \|/ \|/\|
\| *	CI: Run coqchk on Iris	Ralf Jung	2018-01-31
* \|	Merge PR #6641: ci-compcert.sh: use default value for NJOBS when installing m...	Maxime Dénès	2018-01-31
\|\ \
* \ \	Merge PR #6535: Cleanup name-binding structure for fresh evar name generation.	Maxime Dénès	2018-01-31
\|\ \ \ \| \|_\|/ \|/\| \|
\| \| *	Put default value for NJOBS in ci-common.	Gaëtan Gilbert	2018-01-30
\| \|/ \|/\|
\| *	Adding an overlay for Equations.	Pierre-Marie Pédrot	2018-01-30
* \|	Merge PR #6568: Cleanup scripts	Maxime Dénès	2018-01-23
\|\ \
\| * \|	Source basic overlay before user overlays.	Gaëtan Gilbert	2018-01-16
\| * \|	Cleanup shell expansions and quoting.	Gaëtan Gilbert	2018-01-16
\| \|/
* \|	Merge PR #6483: Strong invariants in polymorphic definitions	Maxime Dénès	2018-01-12
\|\ \
\| * \|	Adding a custom Travis overlay for HoTT.	Pierre-Marie Pédrot	2018-01-11
* \| \|	Merge PR #6557: First stab at documenting the test suite.	Maxime Dénès	2018-01-11
\|\ \ \ \| \|/ / \|/\| \|
\| * \|	First stab at documenting the test suite.	Jasper Hugunin	2018-01-06
\| \|/
* /	Normalize Windows installer names.	Théo Zimmermann	2018-01-04
\|/
*	Merge PR #6493: [API] remove large file containing duplicate interfaces	Maxime Dénès	2017-12-29
\|\
* \	Merge PR #6405: Remove the local polymorphic flag hack.	Maxime Dénès	2017-12-29
\|\ \
\| \| *	overlay for #6493	Enrico Tassi	2017-12-27
\| \|/ \|/\|
* \|	Merge PR #6102: Fix #5998: AppVeyor package building is currently failing	Maxime Dénès	2017-12-27
\|\ \
\| \| *	Add equations overlay.	Maxime Dénès	2017-12-27
\| \|/ \|/\|
\| *	Fix #5998: AppVeyor package building is currently failing	Maxime Dénès	2017-12-27
* \|	Fix overlay selection for Circle CI.	Gaëtan Gilbert	2017-12-26
* \|	Delete old overlays (leaving example)	Gaëtan Gilbert	2017-12-26
* \|	Fix CI with parallel make (messed up dependencies)	Gaëtan Gilbert	2017-12-21
* \|	Merge PR #6400: Circle CI	Maxime Dénès	2017-12-19
\|\ \
* \ \	Merge PR #6217: Do dependencies in 1 command per file class.	Maxime Dénès	2017-12-18
\|\ \ \
* \ \ \	Merge PR #6413: [econstr] Switch constrintern API to non-imperative style.	Maxime Dénès	2017-12-18
\|\ \ \ \
\| \| * \| \|	Overlay for unimath.	Gaëtan Gilbert	2017-12-15
* \| \| \| \|	Merge PR #6392: [econstr] Cleanup in `vernac/classes.ml`	Maxime Dénès	2017-12-15
\|\ \ \ \ \ \| \|_\|_\|_\|/ \|/\| \| \| \|
\| \| * \| \|	[econstr] Switch constrintern API to non-imperative style.	Emilio Jesus Gallego Arias	2017-12-15
\| \|/ / /
* \| \| \|	Merge PR #6169: Clean up/deprecated options	Maxime Dénès	2017-12-14
\|\ \ \ \
\| \| \| \| *	Put bignums, math-classes and corn dependencies in Makefile	Gaëtan Gilbert	2017-12-13
\| \| * \| \|	[econstr] Cleanup in `vernac/classes.ml`.	Emilio Jesus Gallego Arias	2017-12-13
\| \| \| \|/ \| \| \|/\|
* \| / \|	Revert "[ci] Temporal workaround for checker non-backwards compatible change."	Théo Zimmermann	2017-12-12
\| \|/ / \|/\| \|
\| * \|	Add overlay.	Théo Zimmermann	2017-12-11
\|/ /
* \|	Merge PR #6324: Fix #6323: stronger restrict universe context vs abstract.	Maxime Dénès	2017-12-11
\|\ \
* \ \	Merge PR #6358: [ci] Download ci-sf archives into the proper CI build dir.	Maxime Dénès	2017-12-11
\|\ \ \
* \ \ \	Merge PR #6351: Fix a copy-paste error in ci-ltac2.	Maxime Dénès	2017-12-11
\|\ \ \ \
* \ \ \ \	Merge PR #6346: [ci] CoLoR has moved to github	Maxime Dénès	2017-12-11
\|\ \ \ \ \