coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[ci] Switch back to upstream version of Math-Classes and Corn.	Théo Zimmermann	2017-10-27
*	Merge PR #6003: Point HoTT back at master, which now supports Coq master	Maxime Dénès	2017-10-25
\|\
\| *	Point HoTT back at master, which now supports Coq master	Jason Gross	2017-10-23
* \|	Switch testing branch back to CompCert upstream.	Théo Zimmermann	2017-10-20
* \|	rename ci-iris-coq -> ci-iris-lambda-rust	Ralf Jung	2017-10-19
* \|	CI: build lambdaRust (which depends on Iris) rather than just Iris	Ralf Jung	2017-10-19
\|/
*	Merge PR #1067: Iris CI: use opam to install dependencies	Maxime Dénès	2017-10-10
\|\
* \	Merge PR #1117: [ci] Remove temporary bignums overlay.	Maxime Dénès	2017-10-09
\|\ \
\| * \|	[ci] Remove temporary bignums overlay.	Théo Zimmermann	2017-10-04
* \| \|	Fix GeoCoq build by using a shared CI configure.	Théo Zimmermann	2017-10-03
\|/ /
* \|	Merge PR #1023: dev/build/windows/makecoq_mingw.sh: install camlp5's META file	Maxime Dénès	2017-10-03
\|\ \
\| \| *	start counting at 0...	Ralf Jung	2017-09-29
\| \| *	Iris CI: use opam to determine std++ git commit	Ralf Jung	2017-09-29
\| \|/ \|/\|
* \|	In gitlab set TRAVIS_BRANCH so user overlays will work as expected.	Gaëtan Gilbert	2017-09-20
* \|	Merge PR #979: Fix install-doc target and other gitlab failures	Maxime Dénès	2017-09-15
\|\ \
\| * \|	Fix GitLab CI	Gaëtan Gilbert	2017-09-13
* \| \|	Move README.ci and link to it from CONTRIBUTING.	Théo Zimmermann	2017-09-08
* \| \|	Merge PR #968: Better error messages on the CI	Maxime Dénès	2017-09-07
\|\ \ \
* \ \ \	Merge PR #914: Making the detyper lazy	Maxime Dénès	2017-09-07
\|\ \ \ \
\| \| \| \| *	Trying to properly propagate errors in Windows CI script.	Maxime Dénès	2017-09-07
\| \|_\|_\|/ \|/\| \| \|
* \| \| \|	Make AppVeyor generate Windows package.	Maxime Dénès	2017-09-05
* \| \| \|	Fix Software Foundations build.	Maxime Dénès	2017-09-05
\| \|_\|/ \|/\| \|
\| * \|	Making detyping potentially lazy.	Pierre-Marie Pédrot	2017-09-04
\|/ /
\| *	Don't strip the newline, don't use \r	Jason Gross	2017-08-24
\| *	Swap order of "aggregating..." message and travis_fold	Jason Gross	2017-08-24
\| *	Only display travis_fold: on travis	Jason Gross	2017-08-24
\| *	Move the rest of the ci target to a bash file	Jason Gross	2017-08-15
\| *	Better error messages on the CI	Jason Gross	2017-08-15
* \|	Have coq-dpdgraph ci test print the differences	Jason Gross	2017-08-01
\|/
*	Merge PR #746: Timing on ci via coq_makefile for various projects	Maxime Dénès	2017-07-31
\|\
* \	Merge PR #782: Update API for fiat	Maxime Dénès	2017-07-28
\|\ \
\| \| *	Alternate way of doing timing on ci	Jason Gross	2017-07-21
\| \| *	Separate make from python script for HoTT	Jason Gross	2017-07-21
\| \| *	Display timing data travis for various projects	Jason Gross	2017-07-21
\| \|/ \|/\|
* \|	[ci] VST is now built with IGNORECOQVERSION=true.	Théo Zimmermann	2017-07-18
* \|	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
\|\ \
* \ \	Merge PR#779: Each user overlay goes into its own file.	Maxime Dénès	2017-06-20
\|\ \ \
\| \| * \|	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
* \| \| \|	Merge PR#778: Revert "[travis] temporary UniMath overlay"	Maxime Dénès	2017-06-15
\|\ \ \ \
\| \| \| \| *	Update fiat-parsers overlay	Jason Gross	2017-06-15
\| \|_\|_\|/ \|/\| \| \|
* \| \| \|	Remove bedrock from test suite.	Maxime Dénès	2017-06-15
\| \|/ / \|/\| \|
* \| \|	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