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

	Commit message (Expand)	Author	Age	Files	Lines
*	now compiles with standard coq (including 8.6.1 from opam)	Valentin Blot	2018-07-20	1	-0/+4
*	Compiles with both versions of Coq	Chantal Keller	2017-10-03	1	-0/+7
*	Hopefully solved the problem with universes for the tactic	Chantal Keller	2016-09-28	1	-0/+2
*	Uniform treatment of sat and smt tactics	Chantal Keller	2016-09-28	1	-2/+1
*	Improved performance with coq-8.5	Chantal Keller	2016-09-28	1	-1/+1
*	More modularity on the format of traces depending on the version of coq	Chantal Keller	2016-09-23	1	-0/+28
*	Print warnings when checking proofs with holes	Chantal Keller	2016-04-30	1	-0/+5
*	Bring back the nice printing of automatically generated theorems	Chantal Keller	2016-04-30	1	-1/+8
*	Updating of the copyright	Chantal Keller	2016-04-27	1	-2/+2
*	Both native-coq and Coq 8.5 are fully supported	Chantal Keller	2016-04-26	1	-1/+11
*	Make the tactic available for 8.5	Chantal Keller	2016-04-26	1	-0/+2
*	Light port to Coq 8.5 under progress	Chantal Keller	2016-03-18	1	-0/+72
*	Removed old port to Coq 8.4	Chantal Keller	2016-03-02	1	-55/+0
*	Corrected a bug introduced in native compilation	Chantal Keller	2015-02-12	1	-1/+2
*	More on the support for standard Coq (not working yet)	Chantal Keller	2015-02-10	1	-0/+6
*	Identify ML functions that are implemented differently in native-coq and in s...	Chantal Keller	2015-01-13	1	-3/+25
*	Identify ML functions that depend on native-coq	Chantal Keller	2015-01-13	1	-0/+26