smtcoq - Fork of https://github.com/smtcoq/smtcoq.

	Commit message (Expand)	Author	Age	Files	Lines
...
*	Switch to 8.8 in INSTALL.md	Chantal Keller	2019-03-12	1	-11/+11
*	V8.7 (#36)	ckeller	2019-02-14	1	-9/+9
*	Fix installation instructions	Chantal Keller	2019-02-13	1	-2/+2
*	Merge from LFSC (#26)	ckeller	2019-01-28	1	-25/+162
*	Update INSTALL.md	Valentin Blot	2018-11-06	1	-15/+13
*	Version of OCaml is related to installing with Coq-8.6	Chantal Keller	2018-10-10	1	-4/+3
*	Document required coq version (#12)	Samuel Gruetter	2018-10-10	1	-0/+4
*	Yves' proposition for installation instructions	Chantal Keller	2017-10-25	1	-4/+2
*	Compiles with both versions of Coq	Chantal Keller	2017-10-03	1	-8/+8
*	New version of veriT	Chantal Keller	2016-11-02	1	-5/+13
*	Updated the installation instructions	Chantal Keller	2016-09-28	1	-2/+2
*	Installation via opam	Chantal Keller	2016-05-02	1	-2/+23
*	Now, Coq 8.5 is the default	Chantal Keller	2016-05-01	1	-2/+36
*	No more "configure.sh"	Chantal Keller	2016-03-02	1	-1/+0
*	Use a fork of native-coqv1.3	Chantal Keller	2015-12-07	1	-2/+2
*	OPAM currently not supported	Chantal Keller	2015-12-03	1	-79/+31
*	More details on the installation of the provers	Chantal Keller	2015-04-30	1	-1/+22
*	Corrections in the installation instructions	Chantal Keller	2015-02-14	1	-3/+4
*	Other corrections in the installation instructions	Chantal Keller	2015-02-14	1	-3/+8
*	Corrections in installation instructions	Chantal Keller	2015-02-14	1	-3/+3
*	New installation instructions	Chantal Keller	2015-02-14	1	-5/+53
*	Installation instructions	Chantal Keller	2015-01-09	1	-0/+49