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

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13	Chantal Keller	2022-02-17	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
* \| \|	Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13	Chantal Keller	2021-12-07	1	-1/+1
\|\\| \|
\| * \|	Merge remote-tracking branch 'origin/master' into coq-8.10	Chantal Keller	2021-12-07	1	-1/+1
\| \|\\|
\| \| *	Solved bug in delayed ComDec	Chantal Keller	2021-12-07	1	-1/+1
* \| \|	Lia + factorize code	Chantal Keller	2021-06-07	1	-0/+47
\|/ /
* \|	getting rid of native-coq (#95)	vblot	2021-05-28	1	-5/+5
* \|	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-04-21	1	-0/+6
\|\\|
\| *	Warning (instead of error) for unsupported lemmas (#90)	ckeller	2021-04-21	1	-0/+6
* \|	Merge branch 'master' of github.com:smtcoq/smtcoq into coq-8.10	Chantal Keller	2021-04-21	1	-1/+1
\|\\|
\| *	Convert hypotheses from Prop to bool (#89)	ckeller	2021-04-21	1	-1/+1
* \|	Port to coq-8.10 under progress	Chantal Keller	2020-03-31	1	-1/+1
\|/
*	V8.8 (#42)	ckeller	2019-03-11	1	-14/+2
*	Merge from LFSC (#26)	ckeller	2019-01-28	1	-6/+26
*	Adding support for lemmas in the command verit	Quentin Garchery	2018-10-28	1	-0/+4
*	Updating of the copyright	Chantal Keller	2016-04-27	1	-2/+2
*	Light port to Coq 8.5 under progress	Chantal Keller	2016-03-18	1	-9/+2
*	Identify ML functions that are implemented differently in native-coq and in s...	Chantal Keller	2015-01-13	1	-2/+2
*	Identify ML functions that depend on native-coq	Chantal Keller	2015-01-13	1	-1/+1
*	Initial import of SMTCoq v1.2	Chantal Keller	2015-01-12	1	-0/+47