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

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	Port to 8.5: how to deal with universe constraints	Chantal Keller	2016-03-23	1	-5/+0
\|
*	Light port to Coq 8.5 under progress	Chantal Keller	2016-03-18	1	-0/+5
\|
*	New targets [make vtest] and [make ztest] to perform unit tests for the ↵	Chantal Keller	2016-03-02	3	-423/+427
\| \| \| \|	various solvers separately
*	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