coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge PR #788: [API] Remove `open API` in ml files in favor of `-open API` flag.	Maxime Dénès	2017-07-19
\|\
* \|	[ci] VST is now built with IGNORECOQVERSION=true.	Théo Zimmermann	2017-07-18
\| *	[API] Remove `open API` in ml files in favor of `-open API` flag.	Emilio Jesus Gallego Arias	2017-07-17
\|/
*	Merge PR #878: Prepare De Bruijn universe abstractions, Episode II: Upper layers	Maxime Dénès	2017-07-17
\|\
* \	Merge PR #881: Adapting base_include to 91df40272 (body_of_constant_body move...	Maxime Dénès	2017-07-17
\|\ \
* \ \	Merge PR #879: Adding debug printers related to universes	Maxime Dénès	2017-07-17
\|\ \ \
\| \| * \|	Adapting to 91df40272 (body_of_constant_body moved to global).	Hugo Herbelin	2017-07-16
\| * \| \|	Adding debug printers related to universes in the default debugger source file.	Pierre-Marie Pédrot	2017-07-14
\| \|/ /
\| \| *	Fix a typo in dev/changes.	Pierre-Marie Pédrot	2017-07-14
\| \| *	Document the changes in API brought by this series of patches.	Pierre-Marie Pédrot	2017-07-14
\| \|/
* /	Adding econstr printer to "include" file.	Hugo Herbelin	2017-07-12
\|/
*	Merge PR #858: [travis] Remove CompCert version check hack.	Maxime Dénès	2017-07-11
\|\
\| *	[travis] Remove CompCert version check hack.	Emilio Jesus Gallego Arias	2017-07-05
* \|	Revert fiat-crypto overlay	Jason Gross	2017-07-04
\|/
*	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-07-04
\|\
* \|	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
\| *	Fix libpcre dependency issue under Windows.	Maxime Dénès	2017-06-26
\| *	Fix proxy setting issue	Michael Soegtrop	2017-06-26
\| *	Fixes bug #5561,#5562 in Windows build system	Michael Soegtrop	2017-06-26
* \|	Add missing definition and fix #use include;; as suggested by @amintimany.	Théo Zimmermann	2017-06-22
* \|	Merge PR#774: [ide] Add route_id parameter to query call.	Maxime Dénès	2017-06-20
\|\ \
* \ \	Merge PR#779: Each user overlay goes into its own file.	Maxime Dénès	2017-06-20
\|\ \ \
\| \| * \|	[ide] Add route_id parameter to query call.	Emilio Jesus Gallego Arias	2017-06-18
\| \| \| *	Remove -j ${NJOBS} from make invocations in the ci	Jason Gross	2017-06-16
\| \| \| *	Fix ci-fiat-crypto to have a proper lite target	Jason Gross	2017-06-16
\| * \| \|	Each user overlay goes into its own file.	Théo Zimmermann	2017-06-16
* \| \| \|	Fix a bug in cumulativity	Amin Timany	2017-06-16
* \| \| \|	A short cleanup	Amin Timany	2017-06-16
* \| \| \|	Clean up universes of constants and inductives	Amin Timany	2017-06-16
* \| \| \|	Squashed commit of the following:	Amin Timany	2017-06-16
\| \|/ / \|/\| \|
* \| \|	Merge PR#778: Revert "[travis] temporary UniMath overlay"	Maxime Dénès	2017-06-15
\|\ \ \
* \| \| \|	fix dev/base_include (thanks Zimmi48)	Pierre Letouzey	2017-06-15
* \| \| \|	Remove bedrock from test suite.	Maxime Dénès	2017-06-15
\| \|/ / \|/\| \|
* \| \|	Merge PR#749: Normalize deprecation notices of ./configure	Maxime Dénès	2017-06-14
\|\ \ \
* \ \ \	Merge PR#622: Change the default flag value for Refine.refine	Maxime Dénès	2017-06-14
\|\ \ \ \
* \ \ \ \	Merge PR#771: [travis overlay] Partially Revert 013c0232953f1f58	Maxime Dénès	2017-06-14
\|\ \ \ \ \
* \| \| \| \| \|	Temporary overlays because fewer plugins are loaded at startup.	Maxime Dénès	2017-06-14
* \| \| \| \| \|	[travis] overlay for fiat-crypto (a Require Import FunInd)	Pierre Letouzey	2017-06-14
* \| \| \| \| \|	[travis] overlays for CompCert and VST (an extra Require Export FunInd)	Pierre Letouzey	2017-06-14
* \| \| \| \| \|	[travis] fix Software Foundation (one added Require Extraction)	Pierre Letouzey	2017-06-14
* \| \| \| \| \|	[travis] fix CoLoR by inserting some Require Import FunInd	Pierre Letouzey	2017-06-14
* \| \| \| \| \|	Temporary overlays for bignums.	Maxime Dénès	2017-06-14
* \| \| \| \| \|	Merge PR#498: Bignums as a separate opam package	Maxime Dénès	2017-06-14
\|\ \ \ \ \ \
* \ \ \ \ \ \	Merge PR#766: Fix ocamldebug for the API	Maxime Dénès	2017-06-13
\|\ \ \ \ \ \ \
\| \| \| \| \| \| * \|	Revert "[travis] temporary UniMath overlay"	Théo Zimmermann	2017-06-13
\| \|_\|_\|_\|_\|/ / \|/\| \| \| \| \| \|
* \| \| \| \| \| \|	Merge PR#714: Print feature Proof-of-Concept (episode 2)	Maxime Dénès	2017-06-13
\|\ \ \ \ \ \ \
\| \| \| \| \| * \| \|	Dualize the unsafe flag of refine into typecheck and make it mandatory.	Pierre-Marie Pédrot	2017-06-13
\| \| \| * \| \| \| \|	[travis] overlay for corn	Pierre Letouzey	2017-06-13
\| \| \| * \| \| \| \|	[travis] extra test ci-bignums (+factorize other scripts)	Pierre Letouzey	2017-06-13
\| \| \| * \| \| \| \|	[travis] overlay + extra deps for math-classes (and formal-topology)	Pierre Letouzey	2017-06-13