coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
* \| \|	Use -j 1 for high memory fiat crypto targets	Gaëtan Gilbert	2018-05-25
* \| \|	[tactics] Remove anonymous fix/cofix form.	Emilio Jesus Gallego Arias	2018-05-24
* \| \|	Complete rewrite of the documentation of overlays after Jim's additional comm...	Théo Zimmermann	2018-05-24
* \| \|	Relax advice on the name of user-overlays following Gaëtan's suggestion.	Théo Zimmermann	2018-05-24
* \| \|	Improve merging and overlay documentations.	Théo Zimmermann	2018-05-24
\| * \|	[ide] Move common protocol library to its own folder/object.	Emilio Jesus Gallego Arias	2018-05-24
\|/ /
* \|	[ci] Build fiat-crypto targets in sequence	Jason Gross	2018-05-22
* \|	Merge PR #7526: [circle] Use Docker image from Gitlab registry.	Gaëtan Gilbert	2018-05-22
\|\ \
* \| \|	[stm] Make toplevels standalone executables.	Emilio Jesus Gallego Arias	2018-05-21
* \| \|	[CI] Fix the script used by math-classes.	Pierre-Marie Pédrot	2018-05-18
\| * \|	[circle] Use Docker image from Gitlab registry.	Emilio Jesus Gallego Arias	2018-05-17
\|/ /
* \|	Merge PR #7525: [ci] Try to build more of fiat-crypto.	Gaëtan Gilbert	2018-05-17
\|\ \
* \ \	Merge PR #6808: Add unit tests to test-suite	Gaëtan Gilbert	2018-05-17
\|\ \ \
\| \| * \|	[ci] Try to build more of fiat-crypto.	Emilio Jesus Gallego Arias	2018-05-16
\| \|/ / \|/\| \|
* \| \|	Merge PR #7514: [ci] Don't build lite versions of CI developments.	Gaëtan Gilbert	2018-05-16
\|\ \ \
\| \| * \|	add unit tests to test suite	Paul Steckler	2018-05-16
\| \|/ / \|/\| \|
* \| \|	Merge PR #7442: Gitlab: build docker image in pipeline and use through registry.	Emilio Jesus Gallego Arias	2018-05-16
\|\ \ \
\| \| * \|	[ci] Don't build lite versions of CI developments.	Emilio Jesus Gallego Arias	2018-05-16
* \| \| \|	Merge PR #7505: Pick up user overlays when running GitLab CI on PRs.	Emilio Jesus Gallego Arias	2018-05-16
\|\ \ \ \
* \ \ \ \	Merge PR #7213: Do not compute constr matching context if not used.	Matthieu Sozeau	2018-05-15
\|\ \ \ \ \ \| \|_\|_\|/ / \|/\| \| \| \|
\| \| \| * \|	Update CI README with info about gitlab windows and docker jobs.	Gaëtan Gilbert	2018-05-14
\| \|_\|/ / \|/\| \| \|
* \| \| \|	Merge PR #7482: Update CI documentation following recent evolutions.	Emilio Jesus Gallego Arias	2018-05-14
\|\ \ \ \
\| \| \| * \|	Pick up user overlays when running GitLab CI on PRs.	Théo Zimmermann	2018-05-14
\| * \| \| \|	Update CI documentation following recent evolutions.	Théo Zimmermann	2018-05-14
\| \| \|/ / \| \|/\| \|
* / \| \|	Windows packaging build with Gitlab CI	Maxime Dénès	2018-05-11
\|/ / /
* \| \|	[ci] Add mit-plv/cross-crypto	Jason Gross	2018-05-09
* \| \|	[gitlab] Add bleeding-edge flambda build.	Emilio Jesus Gallego Arias	2018-05-07
* \| \|	[ci] Add ounit to the base Docker package set.	Emilio Jesus Gallego Arias	2018-05-07
* \| \|	[gitlab] [circleci] Use a Custom Docker Image as base CI setup.	Emilio Jesus Gallego Arias	2018-05-05
* \| \|	Merge PR #7400: ci-vst.sh: use -o progs	Emilio Jesus Gallego Arias	2018-05-03
\|\ \ \
* \| \| \|	[ci]: add pidetop (fix #7336)	Enrico Tassi	2018-05-02
\| * \| \|	ci-vst.sh: use -o progs	Gaëtan Gilbert	2018-05-01
\|/ / /
* \| \|	[ci] Fix #7396: VST is broken	Emilio Jesus Gallego Arias	2018-05-01
* \| \|	updating CI for Mtac2	Beta Ziliani	2018-04-25
* \| \|	Merge PR #7152: [api] Remove dependency of library on Vernacexpr.	Pierre-Marie Pédrot	2018-04-23
\|\ \ \
* \ \ \	Merge PR #7320: [ci] Also make some display targets for fiat-crypto	Emilio Jesus Gallego Arias	2018-04-21
\|\ \ \ \
\| * \| \| \|	[ci] Also make some display targets for fiat-crypto	Jason Gross	2018-04-20
* \| \| \| \|	CI: add fcsl-pcm	Anton Trunov	2018-04-20
\|/ / / /
* \| \| \|	CI: extract iris git version without using opam	Ralf Jung	2018-04-18
* \| \| \|	fix iris-lambda-rust CI	Ralf Jung	2018-04-18
* \| \| \|	Merge PR #7242: Update the CI branch for Equations.	Gaëtan Gilbert	2018-04-17
\|\ \ \ \
\| * \| \| \|	Update the CI branch for Equations.	Théo Zimmermann	2018-04-13
* \| \| \| \|	Overlay for econstr in Evd.	Gaëtan Gilbert	2018-04-13
\|/ / / /
* \| \| \|	Merge PR #6454: [econstr] Flag to make `to_constr` fail if its output contain...	Pierre-Marie Pédrot	2018-04-13
\|\ \ \ \
\| \| \| * \|	Adding an overlay for Ltac2.	Pierre-Marie Pédrot	2018-04-11
\| \|_\|/ / \|/\| \| \|
* \| \| \|	Merge PR #6809: Improve shell scripts	Michael Soegtrop	2018-04-08
\|\ \ \ \
\| \| \| * \|	[api] Remove dependency of library on Vernacexpr.	Emilio Jesus Gallego Arias	2018-04-06
\| * \| \| \|	Improve shell scripts	zapashcanon	2018-04-05
\| \| \|/ / \| \|/\| \|
* / \| \|	[api] Move some types to their proper module.	Emilio Jesus Gallego Arias	2018-04-02
\|/ / /
\| * /	[econstr] Forbid calling `to_constr` in open terms.	Emilio Jesus Gallego Arias	2018-03-31
\|/ /