coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
\| \| \| * \| \| \| \| \| \| \|	[pkg:nix] Add more comments and allow overriding extra substituters.	Théo Zimmermann	2018-07-06
\| * \| \| \| \| \| \| \| \| \|	Add test for #8004.	Gaëtan Gilbert	2018-07-06
\|/ / / / / / / / / /
\| \| \| * / / / / / /	Fix compilation of Coq with camlp5 master branch.	Pierre-Marie Pédrot	2018-07-06
\| \|_\|/ / / / / / / \|/\| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \|	Merge PR #7990: Convert timing tool to python3	Jason Gross	2018-07-05
\|\ \ \ \ \ \ \ \ \
\| \| * \| \| \| \| \| \| \|	refine: obey the use_unification_heuristics flag	Matthieu Sozeau	2018-07-05
\| \|/ / / / / / / / \|/\| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \|	Merge PR #7991: Make Travis faster by removing more builds.	Emilio Jesus Gallego Arias	2018-07-05
\|\ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \	Merge PR #7994: Make bin/ in makefile, not configure.	Emilio Jesus Gallego Arias	2018-07-05
\|\ \ \ \ \ \ \ \ \ \
\| \| \| \| * \| \| \| \| \| \|	[pkg:nix] Stop using lib.inNixShell.	Théo Zimmermann	2018-07-05
\| \| \| \| * \| \| \| \| \| \|	[pkg:nix] Change the download method.	Théo Zimmermann	2018-07-05
\| \| \| \| * \| \| \| \| \| \|	[pkg:nix] Pass through the ocamlPackages version used to build.	Théo Zimmermann	2018-07-05
\| \| \| \| * \| \| \| \| \| \|	[pkg:nix] Cache the build using Cachix when signing key is set.	Théo Zimmermann	2018-07-05
\| \|_\|_\|/ / / / / / / \|/\| \| \| \| \| \| \| \| \|
\| \| * \| \| \| \| \| \| \|	Remove some Travis jobs to make the build faster.	Théo Zimmermann	2018-07-05
\| \|/ / / / / / / / \|/\| \| \| \| \| \| \| \|
\| \| \| \| \| \| \| \| *	Turn a dead branch into an assertion failure in VM reification.	Pierre-Marie Pédrot	2018-07-05
\| \|_\|_\|_\|_\|_\|_\|/ \|/\| \| \| \| \| \| \|
* \| \| \| \| \| \| \|	Merge PR #7746: Many small cleanups removing unused arguments and functions	Pierre-Marie Pédrot	2018-07-05
\|\ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \	Merge PR #7979: TACTIC EXTEND in coqpp	Emilio Jesus Gallego Arias	2018-07-05
\|\ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \	Merge PR #7973: Add a test build on NixOS to GitLab CI.	Gaëtan Gilbert	2018-07-04
\|\ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \	Merge PR #7989: [ci] Avoid annoying detached head warning.	Gaëtan Gilbert	2018-07-04
\|\ \ \ \ \ \ \ \ \ \ \
\| \| \| \| \| \| * \| \| \| \| \|	Convert timing tools to run with both python2 and python3	Jasper Hugunin	2018-07-04
* \| \| \| \| \| \| \| \| \| \| \|	Merge PR #7993: doc: Fix markup in Calculus of Inductive Constructions	Théo Zimmermann	2018-07-04
\|\ \ \ \ \ \ \ \ \ \ \ \
\| \| \| \| \| \| \| \| \| \| * \| \|	Remove letouzey from CODEOWNERS since he left the Coq organization.	Gaëtan Gilbert	2018-07-04
\| \| \| \| \| \| \| \| \|_\|/ / / \| \| \| \| \| \| \| \|/\| \| \| \|
\| * \| \| \| \| \| / \| \| \| \|	doc: Fix markup in Calculus of Inductive Constructions	Fabian	2018-07-04
\| \| \|_\|_\|_\|_\|/ / / / / \| \|/\| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \|	Merge PR #7992: Print something after the build completed if it wasn't a runn...	Gaëtan Gilbert	2018-07-04
\|\ \ \ \ \ \ \ \ \ \ \ \| \|/ / / / / / / / / / \|/\| \| \| \| \| \| \| \| \| \|
\| * \| \| \| \| \| \| \| \| \|	Print something after the build completed if it wasn't a runner failure.	Théo Zimmermann	2018-07-04
\|/ / / / / / / / / /
\| * / / / / / / / /	[ci] Avoid annoying detached head warning.	Emilio Jesus Gallego Arias	2018-07-04
\|/ / / / / / / / /
\| \| \| \| * / / / /	Make bin/ in makefile, not configure.	Gaëtan Gilbert	2018-07-04
\| \|_\|_\|/ / / / / \|/\| \| \| \| \| \| \|
\| * \| \| \| \| \| \|	Add a shell.nix that is not pinned to satisfy some developers' preference.	Théo Zimmermann	2018-07-03
\| * \| \| \| \| \| \|	Refactor default.nix to use optionals.	Théo Zimmermann	2018-07-03
\| * \| \| \| \| \| \|	Fix timing tools on NixOS.	Théo Zimmermann	2018-07-03
\| \| \| \| \| \| \| *	[test suite] Test case for attributes	Vincent Laporte	2018-07-03
\| \| \| \| \| \| \| *	Document attributes.	Vincent Laporte	2018-07-03
\| \| \| \| \| \| \| *	fix syntax of .mlg	Vincent Laporte	2018-07-03
\| \| \| \| \| \| \| *	Describe attributes in the documentation.	Vincent Laporte	2018-07-03
\| \| \| \| \| \| \| *	[vernac] use a record for the contents of the “deprecated” attribute	Vincent Laporte	2018-07-03
\| \| \| \| \| \| \| *	[vernac] use plain strings as attribute names	Vincent Laporte	2018-07-03
\| \| \| \| \| \| \| *	[vernac] indentation	Vincent Laporte	2018-07-03
\| \| \| \| \| \| \| *	[vernac] Generic syntax for flags/attributes	Vincent Laporte	2018-07-03
\| \| \| \| \| \| \| *	[vernac] Generic parsing rules for attributes	Vincent Laporte	2018-07-03
\| \| \| \| \| \| \| *	[vernac] Add a “deprecated” attribute	Vincent Laporte	2018-07-03
\| \| \| \| \| \| \| *	Allow “Let”-defined coercions	Vincent Laporte	2018-07-03
\| \| \| \| \| \| \| *	[vernac] Concrete syntax for attributes	Vincent Laporte	2018-07-03
\| \| \| \| \| \| \| *	[vernac] mk_atts: an atts record with default values	Vincent Laporte	2018-07-03
\| \| \| \| \| \| \| *	[vernac] attribute_of_flags	Vincent Laporte	2018-07-03
\| \|_\|_\|_\|_\|_\|/ \|/\| \| \| \| \| \|
\| * \| \| \| \| \|	Add a test build of Nix package to GitLab CI.	Théo Zimmermann	2018-07-03
\| * \| \| \| \| \|	Adapt default.nix to allow nix-build to run the test-suite.	Théo Zimmermann	2018-07-03
\|/ / / / / /
* \| \| \| \| \|	Merge PR #7978: [ci] [docker] Make sure we don't install optional packages wi...	Gaëtan Gilbert	2018-07-03
\|\ \ \ \ \ \
\| \| \| * \| \| \|	Add overlay for equations.	Gaëtan Gilbert	2018-07-03
\| \| \| * \| \| \|	Library: use ocaml typing to show that we find at most 2 files	Gaëtan Gilbert	2018-07-03
\| \| \| * \| \| \|	Library.register_loaded_library: remove unused variable	Gaëtan Gilbert	2018-07-03
\| \| \| * \| \| \|	Glob_ops.rename_glob_vars: fix typo	Gaëtan Gilbert	2018-07-03
\| \| \| * \| \| \|	Glob_ops.fix_kind_eq: fix typo	Gaëtan Gilbert	2018-07-03