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

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge remote-tracking branch 'origin/master' into coq-8.10	Chantal Keller	2022-02-17	1	-1/+1
\|\
\| *	Update copyright	Chantal Keller	2022-02-16	1	-1/+1
* \|	Add debugging information for uninterpreted functions	Chantal Keller	2022-02-16	1	-10/+10
* \|	Use the Register mechanism (#104)	ckeller	2022-02-15	1	-2/+2
* \|	getting rid of native-coq (#95)	vblot	2021-05-28	1	-23/+23
* \|	Merge branch 'master' of github.com:smtcoq/smtcoq into coq-8.10	Chantal Keller	2021-05-26	1	-1/+1
\|\\|
\| *	Update copyright	Chantal Keller	2021-05-26	1	-1/+1
* \|	Merge branch 'master' of github.com:smtcoq/smtcoq into coq-8.10	Chantal Keller	2021-02-23	1	-2/+2
\|\\|
\| *	Link equality on uninterpreted sorts with SMT equality (#86)	ckeller	2021-02-23	1	-2/+2
* \|	Port to coq-8.10 under progress	Chantal Keller	2020-03-31	1	-9/+9
\|/
*	Made SmtCommands independent from VeritSyntax	Chantal Keller	2019-09-25	1	-20/+40
*	V8.8 (#42)	ckeller	2019-03-11	1	-15/+15
*	V8.7 (#36)	ckeller	2019-02-14	1	-1/+1
*	Merge from LFSC (#26)	ckeller	2019-01-28	1	-172/+265
*	verit also works when it doesn't use the conclusion (#24)	QGarchery	2018-12-03	1	-1/+3
*	Adding support for lemmas in the command verit	Quentin Garchery	2018-10-28	1	-26/+63
*	formatting	Quentin Garchery	2018-10-27	1	-249/+241
*	Compiles with Coq-8.6	Chantal Keller	2017-10-03	1	-7/+6
*	Updating of the copyright	Chantal Keller	2016-04-27	1	-2/+4
*	Compatibility with native-coq	Chantal Keller	2016-04-26	1	-6/+6
*	Tactic zchaff for 8.5	Chantal Keller	2016-04-26	1	-7/+14
*	Identify ML functions that depend on native-coq	Chantal Keller	2015-01-13	1	-2/+2
*	Initial import of SMTCoq v1.2	Chantal Keller	2015-01-12	1	-0/+510