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

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge from LFSC (#26)	ckeller	2019-01-28	1	-6/+61
*	New files SmtBtype.ml(i) for module formerly in SmtAtom	Quentin Garchery	2018-10-28	1	-0/+2
*	conversion tactics	Valentin Blot	2018-10-25	1	-6/+5
*	now compiles with standard coq (including 8.6.1 from opam)	Valentin Blot	2018-07-20	1	-8/+27
*	make install for Coq-8.6	Chantal Keller	2017-10-03	1	-2/+1
*	Tests for Coq-8.6	Chantal Keller	2017-10-03	1	-3/+26
*	Compiles with Coq-8.6	Chantal Keller	2017-10-03	1	-77/+125
*	Use the Int31 library with coq-8.5	Chantal Keller	2016-09-28	1	-3/+0
*	More modularity on the format of traces depending on the version of coq	Chantal Keller	2016-09-23	1	-6/+9
*	Now, Coq 8.5 is the default	Chantal Keller	2016-05-01	1	-5/+5
*	Holes in proof:	Chantal Keller	2016-04-30	1	-7/+56
*	Solved a dependency problem for the compilation with Coq 8.5	Chantal Keller	2016-03-21	1	-5/+2
*	Light port to Coq 8.5 under progress	Chantal Keller	2016-03-18	1	-0/+521
*	Removed old port to Coq 8.4	Chantal Keller	2016-03-02	1	-432/+0
*	Frontend for the standard version of Coq (still bad computational behavior)	Chantal Keller	2015-02-10	1	-0/+3
*	Start porting to the standard version of Coq (not finished yet)	Chantal Keller	2015-01-13	1	-0/+429