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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Adding support for lemmas in the command verit	Quentin Garchery	2018-10-28	1	-0/+1
\|
*	Zeq_bool -> Z.eqb	Quentin Garchery	2018-10-27	1	-2/+3
\|
*	now compiles with standard coq (including 8.6.1 from opam)	Valentin Blot	2018-07-20	1	-1/+1
\|
*	- auto-generated mli files for future documentation	Valentin Blot	2017-11-24	1	-0/+59
\| \| \| \|	- new Makefiles to handle these mli
*	Compiles with both versions of Coq	Chantal Keller	2017-10-03	1	-37/+37
\|
*	Compiles with Coq-8.6	Chantal Keller	2017-10-03	1	-40/+39
\|
*	Towards Coq 8.6	Chantal Keller	2017-10-02	1	-2/+2
\|
*	Updating of the copyright	Chantal Keller	2016-04-27	2	-4/+6
\|
*	Light port to Coq 8.5 under progress	Chantal Keller	2016-03-18	1	-2/+2
\|
*	More on the support for standard Coq (not working yet)	Chantal Keller	2015-02-10	1	-5/+4
\|
*	Initial import of SMTCoq v1.2	Chantal Keller	2015-01-12	2	-0/+1819