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

	Commit message (Expand)	Author	Age	Files	Lines
*	Extraction for Coq 8.13 (#109)	ckeller	2022-07-30	1	-0/+9
*	Merge remote-tracking branch 'origin/coq-8.11' into timeout_verit	Chantal Keller	2022-04-14	1	-1/+1
\|\
\| *	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
* \| \|	verit timeout	lduboisd	2021-12-10	1	-2/+2
\|/ /
* /	getting rid of native-coq (#95)	vblot	2021-05-28	1	-8/+8
\|/
*	Update copyright	Chantal Keller	2021-05-26	1	-1/+1
*	Convert hypotheses from Prop to bool (#89)	ckeller	2021-04-21	1	-2/+2
*	V8.8 (#42)	ckeller	2019-03-11	1	-8/+8
*	Merge from LFSC (#26)	ckeller	2019-01-28	1	-31/+20
*	Adding support for lemmas in the command verit	Quentin Garchery	2018-10-28	1	-6/+8
*	New files SmtBtype.ml(i) for module formerly in SmtAtom	Quentin Garchery	2018-10-28	1	-3/+3
*	formatting	Quentin Garchery	2018-10-27	1	-1/+2
*	now compiles with standard coq (including 8.6.1 from opam)	Valentin Blot	2018-07-20	1	-1/+1
*	- auto-generated mli files for future documentation	Valentin Blot	2017-11-24	1	-0/+31