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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Add Makefile	Chantal Keller	2021-05-28	1	-0/+801
\|
*	Now, Coq 8.5 is the default	Chantal Keller	2016-05-01	1	-436/+0
\|
*	Holes in proof:	Chantal Keller	2016-04-30	1	-1/+2
\| \| \| \| \| \| \|	- can now take learned clauses as argument - returns a whole clause (and not only a literal) - tested for the vernacular commands Warning: seems to slow down 8.5 version
*	Light port to Coq 8.5 under progress	Chantal Keller	2016-03-18	1	-4/+12
\|
*	Code refactoring	Chantal Keller	2016-03-02	1	-3/+4
\|
*	Separate verit input (smtlib2) from output	Chantal Keller	2016-03-02	1	-8/+9
\|
*	Removed old port to Coq 8.4	Chantal Keller	2016-03-02	1	-0/+425
\|
*	Room for compilation with other versions of Coq	Chantal Keller	2015-01-13	1	-416/+0
\|
*	Initial import of SMTCoq v1.2	Chantal Keller	2015-01-12	1	-0/+416