coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[stm] Move options to a per-document record.	Emilio Jesus Gallego Arias	2018-01-31
*	Merge PR #6601: Circle CI: fix cache selection.	Maxime Dénès	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 #6663: [toplevel] Refactor load path handling.	Maxime Dénès	2018-01-31
\|\ \ \
* \ \ \	Merge PR #6656: Fix #5747: "make validate" fails with "bad recursive trees"	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 #6666: Fix reduction of primitive projections on coinductive records...	Maxime Dénès	2018-01-30
\|\ \ \ \ \ \
* \ \ \ \ \ \	Merge PR #6649: Fix #6621: Anomaly on fixpoint with primitive projections	Maxime Dénès	2018-01-30
\|\ \ \ \ \ \ \
* \ \ \ \ \ \ \	Merge PR #6636: Stop running duplicate Travis jobs on pull requests.	Maxime Dénès	2018-01-30
\|\ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \	Merge PR #6605: Safer VM interfaces	Maxime Dénès	2018-01-30
\|\ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \	Merge PR #6644: Use travis_retry on apt-get update	Maxime Dénès	2018-01-30
\|\ \ \ \ \ \ \ \ \ \
\| \| \| \| \| * \| \| \| \| \|	Add test case for #5286.	Maxime Dénès	2018-01-29
\| \| \| \| \| * \| \| \| \| \|	[cbv] Fix evaluation of cofixpoints under primitive projections.	Maxime Dénès	2018-01-29
\| \| \| \| \| * \| \| \| \| \|	[native_compute] Fix evaluation of cofixpoints under primitive projections.	Maxime Dénès	2018-01-29
\| \|_\|_\|_\|/ / / / / / \|/\| \| \| \| \| \| \| \| \|
\| \| \| \| \| \| \| * \| \|	[toplevel] Refactor load path handling.	Emilio Jesus Gallego Arias	2018-01-29
\| \|_\|_\|_\|_\|_\|/ / / \|/\| \| \| \| \| \| \| \|
\| \| * \| \| \| \| \| \|	Safer VM interfaces	Maxime Dénès	2018-01-26
\| \| \| \| \| \| * \| \|	Add test case for #5747	Maxime Dénès	2018-01-25
\| \| \| \| \| \| * \| \|	[checker] Avoid relying on canonical names.	Maxime Dénès	2018-01-25
\| \| \| \| \| \| * \| \|	[checker] Remove duplicated function	Maxime Dénès	2018-01-25
\| \| \| \| \| \| * \| \|	[checker] Better error message for bad recursive trees	Maxime Dénès	2018-01-25
\| \|_\|_\|_\|_\|/ / / \|/\| \| \| \| \| \| \|
\| * \| \| \| \| \| \|	Add a comment referencing travis issue numbers	Jason Gross	2018-01-25
* \| \| \| \| \| \| \|	Merge PR #6642: fix space in coqchk error	Maxime Dénès	2018-01-25
\|\ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \	Merge PR #6650: Remove dead code from funind.	Maxime Dénès	2018-01-25
\|\ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \	Merge PR #6626: [readme] Add DOI badge.	Maxime Dénès	2018-01-25
\|\ \ \ \ \ \ \ \ \ \ \| \|_\|_\|_\|/ / / / / / \|/\| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \|	Merge PR #6620: Fix #6591: anomaly when using selectors outside of a proof.	Maxime Dénès	2018-01-25
\|\ \ \ \ \ \ \ \ \ \ \| \|_\|_\|_\|_\|_\|_\|_\|/ / \|/\| \| \| \| \| \| \| \| \|
\| \| \| \| * \| \| \| \| \|	fix space in coqchk error	Ralf Jung	2018-01-24
\| \|_\|_\|/ / / / / / \|/\| \| \| \| \| \| \| \|
\| \| \| * \| \| \| \| \|	Remove dead code from funind.	Maxime Dénès	2018-01-24
\| \|_\|/ / / / / / \|/\| \| \| \| \| \| \|
\| \| \| \| \| * \| \|	Fix #6621: Anomaly on fixpoint with primitive projections	Maxime Dénès	2018-01-24
\| \|_\|_\|_\|/ / / \|/\| \| \| \| \| \|
\| \| \| * \| \| \|	Delay installing packages	Jason Gross	2018-01-23
\| \| \| * \| \| \|	Use travis_retry on apt-get update	Jason Gross	2018-01-23
\| \|_\|/ / / / \|/\| \| \| \| \|
\| \| \| * \| \|	Stop running duplicate Travis jobs on pull requests.	Théo Zimmermann	2018-01-23
\| \|_\|/ / / \|/\| \| \| \|
* \| \| \| \|	Merge PR #6627: Fix #6619: coqchk does not reduce compatibility constants for...	Maxime Dénès	2018-01-23
\|\ \ \ \ \
* \ \ \ \ \	Merge PR #6628: [printing] Remove duplicate definitions of pr_lident and pr_l...	Maxime Dénès	2018-01-23
\|\ \ \ \ \ \
* \ \ \ \ \ \	Merge PR #6629: Archive COMPATIBILITY	Maxime Dénès	2018-01-23
\|\ \ \ \ \ \ \
* \ \ \ \ \ \ \	Merge PR #6568: Cleanup scripts	Maxime Dénès	2018-01-23
\|\ \ \ \ \ \ \ \
\| \| \| \| \| * \| \| \|	Fix #6591: anomaly when using selectors outside of a proof.	Cyprien Mangin	2018-01-22
\| \| \| \| \| \| * \| \|	[readme] Add DOI badge.	Emilio Jesus Gallego Arias	2018-01-22
\| \| \| \| \| \|/ / /
\| \| * \| \| \| \| \|	Archive COMPATIBILITY.	Théo Zimmermann	2018-01-22
\| \| * \| \| \| \| \|	Move the mention of the removal of Qed exporting at the right place.	Théo Zimmermann	2018-01-22
\| \| \| \|_\|/ / / \| \| \|/\| \| \| \|
* \| \| \| \| \| \|	Merge PR #6461: Let dtauto recognize '@sigT A (fun _ => B)' as a conjunction.	Maxime Dénès	2018-01-22
\|\ \ \ \ \ \ \
* \ \ \ \ \ \ \	Merge PR #6625: Update location on tab switch, issue 6624	Maxime Dénès	2018-01-22
\|\ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \	Merge PR #6576: generate both binary and text annotations	Maxime Dénès	2018-01-22
\|\ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \	Merge PR #6550: Remove outdated note about rlwrap in setup.txt	Maxime Dénès	2018-01-22
\|\ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \	Merge PR #6618: Fix Ltac subterm matching in (co-)fixpoints.	Maxime Dénès	2018-01-22
\|\ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \	Merge PR #6575: Add flash infos for find and replace	Maxime Dénès	2018-01-22
\|\ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \	Merge PR #6506: Fast rel lookup	Maxime Dénès	2018-01-22
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \| \|_\|_\|_\|_\|_\|_\|_\|/ / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| \| \| \| \| \| \| * \| \| \|	[printing] Remove duplicate definitions of pr_lident and pr_lname	Vincent Laporte	2018-01-22
\| \|_\|_\|_\|_\|_\|_\|_\|/ / / / \|/\| \| \| \| \| \| \| \| \| \| \|
\| \| \| \| \| \| \| \| \| * \| \|	Adding a test for coqchk bug #6619.	Pierre-Marie Pédrot	2018-01-20