coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Fixes #7636: location missing on deprecated compatibility notations.	Hugo Herbelin	2018-06-02
*	Merge PR #7234: Reduce circular dependency constants <-> projections	Maxime Dénès	2018-06-01
\|\
* \	Merge PR #7570: [api] Move `Constrexpr` to the `interp` module.	Maxime Dénès	2018-06-01
\|\ \
* \ \	Merge PR #7537: Improve the Gallina chapter of the reference manual.	Maxime Dénès	2018-06-01
\|\ \ \
* \ \ \	Merge PR #7606: Allow more than one signature and name per Sphinx object	Maxime Dénès	2018-06-01
\|\ \ \ \
* \ \ \ \	Merge PR #7660: Add codeowner for timing python scripts	Maxime Dénès	2018-06-01
\|\ \ \ \ \
* \ \ \ \ \	Merge PR #7652: Explicitly require python2 in python scripts in tools/	Jason Gross	2018-05-31
\|\ \ \ \ \ \
\| \| * \| \| \| \|	Add codeowner for timing python scripts	Jason Gross	2018-05-31
\| \|/ / / / / \|/\| \| \| \| \|
* \| \| \| \| \|	Merge PR #7401: Automatically run alienclean before compiling.	Enrico Tassi	2018-05-31
\|\ \ \ \ \ \
\| \| * \| \| \| \|	Explicitly require python2 in python scripts in tools/	Armaël Guéneau	2018-05-31
\| \|/ / / / / \|/\| \| \| \| \|
\| \| \| \| * \|	[notations] Split interpretation and parsing of notations	Emilio Jesus Gallego Arias	2018-05-31
\| \| \| \| * \|	[api] Move `Constrexpr` to the `interp` module.	Emilio Jesus Gallego Arias	2018-05-31
\| \|_\|_\|/ / \|/\| \| \| \|
* \| \| \| \|	Merge PR #6969: [api] Remove functions deprecated in 8.8	Maxime Dénès	2018-05-31
\|\ \ \ \ \
* \ \ \ \ \	Merge PR #7564: Move interning the [hint_pattern] outside the Typeclasses hooks.	Emilio Jesus Gallego Arias	2018-05-31
\|\ \ \ \ \ \
\| \| \| \| \| \| *	Reduce circular dependency constants <-> projections	Gaëtan Gilbert	2018-05-31
\| \|_\|_\|_\|_\|/ \|/\| \| \| \| \|
* \| \| \| \| \|	Merge PR #7578: Allow make clean to work on a fresh clone	Enrico Tassi	2018-05-31
\|\ \ \ \ \ \
* \ \ \ \ \ \	Merge PR #7639: Makefile: fix undefined NATIVEFILES when -native-compute no	Enrico Tassi	2018-05-31
\|\ \ \ \ \ \ \
* \ \ \ \ \ \ \	Merge PR #7633: [Makefile] New target “install-merlin”	Enrico Tassi	2018-05-31
\|\ \ \ \ \ \ \ \
\| \| \| \| * \| \| \| \|	Move interning the [hint_pattern] outside the Typeclasses hooks.	Gaëtan Gilbert	2018-05-30
\| \|_\|_\|/ / / / / \|/\| \| \| \| \| \| \|
\| \| \| \| * \| \| \|	[api] Remove deprecated objects in engine / interp / library	Emilio Jesus Gallego Arias	2018-05-30
\| \| \| \| * \| \| \|	[api] Remove deprecated object from `Term`	Emilio Jesus Gallego Arias	2018-05-30
\| \| \| \| * \| \| \|	[api] Remove deprecated aliases from `Names`.	Emilio Jesus Gallego Arias	2018-05-30
\| \| \| \| * \| \| \|	[api] Reintroduce `Names.global_reference` alias	Emilio Jesus Gallego Arias	2018-05-30
\| \|_\|_\|/ / / / \|/\| \| \| \| \| \|
* \| \| \| \| \| \|	Merge PR #7260: Fix #6951: Unexpected error during scheme creation.	Maxime Dénès	2018-05-30
\|\ \ \ \ \ \ \
* \ \ \ \ \ \ \	Merge PR #7558: [api] Make `vernac/` self-contained.	Maxime Dénès	2018-05-30
\|\ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \	Merge PR #7621: Tactics.introduction: remove dangerous option ~check	Pierre-Marie Pédrot	2018-05-30
\|\ \ \ \ \ \ \ \ \
\| \| \| \| \| * \| \| \| \|	Makefile: fix undefined NATIVEFILES when -native-compute no	Gaëtan Gilbert	2018-05-30
\| \|_\|_\|_\|/ / / / / \|/\| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \|	Merge PR #7593: Don't try to install native compiled files if native-compile ...	Maxime Dénès	2018-05-29
\|\ \ \ \ \ \ \ \ \
\| \| \| \| * \| \| \| \| \|	Fix #6951: Unexpected error during scheme creation.	Pierre-Marie Pédrot	2018-05-29
\| \|_\|_\|/ / / / / / \|/\| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \|	Merge PR #7566: Remove a dead old-refman file.	Maxime Dénès	2018-05-29
\|\ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \	Merge PR #7628: [default.nix] Update dependency list	Théo Zimmermann	2018-05-29
\|\ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \	Merge PR #7626: Test for #7333 (soundness with VM/native and cofix)	Théo Zimmermann	2018-05-29
\|\ \ \ \ \ \ \ \ \ \ \
\| \| \| \| \| \| \| * \| \| \| \|	[Makefile] New target “install-merlin”	Vincent Laporte	2018-05-29
\| \|_\|_\|_\|_\|_\|/ / / / / \|/\| \| \| \| \| \| \| \| \| \|
\| \| * \| \| \| \| \| \| \| \|	[default.nix] Adds “ounit” to check dependencies	Vincent Laporte	2018-05-29
\| \| * \| \| \| \| \| \| \| \|	[default.nix] List “hostname” as a dependency	Vincent Laporte	2018-05-29
\| \| * \| \| \| \| \| \| \| \|	[default.nix] Use OCaml 4.06	Vincent Laporte	2018-05-29
\| \| * \| \| \| \| \| \| \| \|	[default.nix] Drop dependency to ocp-index	Vincent Laporte	2018-05-29
\| \|/ / / / / / / / / \|/\| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \|	Merge PR #7084: [default.nix] Unpin nixpkgs	Théo Zimmermann	2018-05-29
\|\ \ \ \ \ \ \ \ \ \
\| \| * \| \| \| \| \| \| \| \|	Add test for #7333: vm_compute segfaults / Anomaly with cofix	Maxime Dénès	2018-05-29
\| \|/ / / / / / / / / \|/\| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \|	Merge PR #7521: Fix soundness bug with VM/native and cofixpoints	Pierre-Marie Pédrot	2018-05-28
\|\ \ \ \ \ \ \ \ \ \
\| \| \| \| \| * \| \| \| \| \|	Tactics.introduction: remove dangerous option ~check	Enrico Tassi	2018-05-28
\| \|_\|_\|_\|/ / / / / / \|/\| \| \| \| \| \| \| \| \|
\| \| \| \| \| \| \| \| \| *	Improve the last section of the Gallina chapter.	Théo Zimmermann	2018-05-28
\| \| \| \| \| \| \| \| \| *	Chapter 1 of the refman compiles without reporting any undocumented object.	Théo Zimmermann	2018-05-28
\| \| \| \| \| \| \| \| \| *	Improve sections on (Co)Fixpoint of the Gallina chapter.	Théo Zimmermann	2018-05-28
\| * \| \| \| \| \| \| \| \|	Add CHANGES entry	Maxime Dénès	2018-05-28
\| * \| \| \| \| \| \| \| \|	Fix #7333: vm_compute segfaults / Anomaly with cofix	Maxime Dénès	2018-05-28
\| * \| \| \| \| \| \| \| \|	Unify pre_env and env	Maxime Dénès	2018-05-28
\| * \| \| \| \| \| \| \| \|	Remove vm_conv hook and reorganize kernel files	Maxime Dénès	2018-05-28
\| * \| \| \| \| \| \| \| \|	Make some comments more precise about compilation of cofixpoints	Maxime Dénès	2018-05-28
\| * \| \| \| \| \| \| \| \|	Less confusing debug printing of setfield bytecode instruction	Maxime Dénès	2018-05-28