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

	Commit message (Expand)	Author	Age	Files	Lines
*	getting rid of native-coq (#95)	vblot	2021-05-28	1	-171/+0
*	Made SmtCommands independent from VeritSyntax	Chantal Keller	2019-09-25	1	-1/+3
*	3rdparty	Chantal Keller	2019-07-15	1	-11/+13
*	Separate unit tests into vernac and tactics	Chantal Keller	2019-04-12	1	-4/+3
*	Error message to state that tactics are not supported with native-coq (#47)	ckeller	2019-04-12	1	-1/+1
*	Merge from LFSC (#26)	ckeller	2019-01-28	1	-3/+45
*	New files SmtBtype.ml(i) for module formerly in SmtAtom	Quentin Garchery	2018-10-28	1	-1/+3
*	Updated Makefile instructions	Quentin Garchery	2018-10-27	1	-6/+9
*	conversion tactics	Valentin Blot	2018-10-25	1	-0/+1
*	- auto-generated mli files for future documentation	Valentin Blot	2017-11-24	1	-0/+21
*	More modularity on the format of traces depending on the version of coq	Chantal Keller	2016-09-23	1	-1/+2
*	Now, Coq 8.5 is the default	Chantal Keller	2016-05-01	1	-4/+5
*	Holes in proof:	Chantal Keller	2016-04-30	1	-1/+2
*	Light port to Coq 8.5 under progress	Chantal Keller	2016-03-18	1	-0/+96
*	Removed old port to Coq 8.4	Chantal Keller	2016-03-02	1	-93/+0
*	New targets [make vtest] and [make ztest] to perform unit tests for the vario...	Chantal Keller	2016-03-02	1	-0/+2
*	Identify ML functions that depend on native-coq	Chantal Keller	2015-01-13	1	-0/+91