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

	Commit message (Expand)	Author	Age	Files	Lines
*	New targets [make vtest] and [make ztest] to perform unit tests for the vario...	Chantal Keller	2016-03-02	3	-423/+427
*	The current version of SMTCoq does not support SMTLIB "let" anymore	Chantal Keller	2016-03-02	1	-0/+6
*	All tests (but large benchmarks) succeed	Chantal Keller	2015-02-11	1	-7/+6
*	Unit test for double negation	Chantal Keller	2015-01-12	1	-0/+4
*	"let" testsv1.2	Chantal Keller	2015-01-12	1	-21/+21
*	Initial import of SMTCoq v1.2	Chantal Keller	2015-01-12	43	-0/+23483