coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge branch 'master'.	Pierre-Marie Pédrot	2017-02-14
\|\
* \|	Introducing contexts parameterized by the inner term type.	Pierre-Marie Pédrot	2017-02-14
* \|	Reductionops now return EConstrs.	Pierre-Marie Pédrot	2017-02-14
* \|	Making judgment type generic over the type of inner constrs.	Pierre-Marie Pédrot	2017-02-14
\| *	Merge PR#393: Replace Typeops with Fast_typeops	Maxime Dénès	2017-02-08
\| \|\
\| * \	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-02-01
\| \|\ \
\| \| * \	Merge branch 'v8.5' into v8.6	Pierre-Marie Pédrot	2017-02-01
\| \| \|\ \
\| \| \| \| *	Remove useless comments	Gaetan Gilbert	2017-01-28
\| \| \| * \|	[native comp] Improve error message on linking error.	Emilio Jesus Gallego Arias	2017-01-26
\| \| * \| \|	Do not add redundant side effects in tactic code.	Pierre-Marie Pédrot	2017-01-20
\| * \| \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-01-19
\| \|\\| \| \|
\| \| * \| \|	Mapping named_context_val preserves sharing when possible.	Pierre-Marie Pédrot	2017-01-17
\| \| \| * \|	Handle application of a primitive projection to a not yet evaluated cofixpoin...	Guillaume Melquiond	2016-12-26
\| \| * \| \|	Handle application of a primitive projection to a not yet evaluated cofixpoin...	Guillaume Melquiond	2016-12-23
\| * \| \| \|	Fixing injection in the presence of let-in in constructors.	Hugo Herbelin	2016-12-22
\| \| \| \| *	Replace Typeops by Fast_typeops	Gaetan Gilbert	2016-12-12
\| \| \| \| *	Extend Fast_typeops to be a replacement for Typeops	Gaetan Gilbert	2016-12-12
\| \| \|_\|/ \| \|/\| \|
\| * \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-12-07
\| \|\\| \|
\| \| * \|	Fix #5248 - test-suite fails in 8.6beta1	Maxime Dénès	2016-12-06
\| \| * \|	Merge remote-tracking branch 'github/pr/366' into v8.6	Maxime Dénès	2016-12-04
\| \| \|\ \
\| \| \| * \|	Document changes	Matthieu Sozeau	2016-12-02
\| \| * \| \|	Merge remote-tracking branch 'github/pr/377' into v8.6	Maxime Dénès	2016-12-02
\| \| \|\ \ \
\| \| * \| \| \|	Fix #5242 - Dubious unsilenceable warning on invalid identifier	Maxime Dénès	2016-12-02
\| * \| \| \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-11-30
\| \|\\| \| \| \|
\| \| \| * \| \|	Univs: fix bug #5180	Matthieu Sozeau	2016-11-30
\| \| \|/ / /
\| \| \| * \|	Fix UGraph.check_eq!	Matthieu Sozeau	2016-11-30
\| \| \| * \|	Slightly more efficient [Univ.super] implem	Matthieu Sozeau	2016-11-30
\| \| \|/ /
\| \| * \|	Fix incorrect long multiplication in the VM.	Guillaume Melquiond	2016-11-24
* \| \| \|	Introducing a new EConstr.t type to perform the nf_evar operation on demand.	Pierre-Marie Pédrot	2016-11-08
\|/ / /
* \| \|	Moving unused code out of the kernel into Termops.	Pierre-Marie Pédrot	2016-10-31
* \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-29
\|\\| \|
\| * \|	Merge branch 'v8.5' into v8.6	Pierre-Marie Pédrot	2016-10-26
\| \|\\|
* \| \|	COMMENT: Declarations.constant_def	Matej Kosik	2016-10-26
* \| \|	COMMENT: Names.Cmap and Names.Cmap_env	Matej Kosik	2016-10-26
* \| \|	COMMENT: Constr.kind_of_term	Matej Kosik	2016-10-26
* \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-24
\|\\| \|
\| \| *	Fix #5127 Memory corruption with the VM	Maxime Dénès	2016-10-24
\| * \|	More comments in VM.	Maxime Dénès	2016-10-19
* \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-17
\|\\| \|
\| * \|	Remove dead code in Environ.	Pierre-Marie Pédrot	2016-10-12
* \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-12
\|\\| \|
\| * \|	Merge branch 'v8.5' into v8.6	Pierre-Marie Pédrot	2016-10-12
\| \|\\|
\| \| *	Fix for bug #4863, update the Proofview's env with	Matthieu Sozeau	2016-10-11
\| * \|	Removing a slow access to a named environment.	Pierre-Marie Pédrot	2016-10-06
* \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-05
\|\\| \|
\| * \|	Merge remote-tracking branch 'github/pr/263' into v8.6	Maxime Dénès	2016-10-03
\| \|\ \
* \| \| \|	UPDATE: reference to a deprecated variable "Filename.temp_dir_name" was repla...	Matej Kosik	2016-09-29
* \| \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-09-14
\|\\| \| \|
\| * \| \|	Merge branch 'v8.5' into v8.6	Pierre-Marie Pédrot	2016-09-09
\| \|\ \ \ \| \| \| \|/ \| \| \|/\|
\| \| \| *	Tracking careless uses of slow name lookup.	Pierre-Marie Pédrot	2016-09-09