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

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11	Chantal Keller	2022-02-18	1	-19/+255
\|\
\| *	Merge remote-tracking branch 'vblot/coq-8.10-foldi_iter' into coq-8.10	Chantal Keller	2022-02-18	1	-19/+254
\|/\|
\| *	simpler foldi_iter	vblot	2022-02-18	1	-42/+251
\| *	foldi_iter	vblot	2022-02-15	1	-13/+39
* \|	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
* \| \|	Use the Register mechanism (#104)	ckeller	2022-02-15	1	-0/+23
\| \|/ \|/\|
* \|	use native integers (#96)	vblot	2021-07-07	1	-609/+935
* \|	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	2020-06-30	1	-0/+18
\|\\|
\| *	Remove one axiom	Chantal Keller	2020-06-30	1	-0/+18
* \|	Merge branch 'master' of github.com:smtcoq/smtcoq into coq-8.10	Chantal Keller	2020-06-30	1	-0/+34
\|\\|
\| *	Remove two axioms	Chantal Keller	2020-06-30	1	-0/+34
* \|	Hints in databases	Chantal Keller	2020-01-28	1	-41/+41
\|/
*	V8.9 (#43)	ckeller	2019-03-15	1	-1/+1
*	V8.8 (#42)	ckeller	2019-03-11	1	-59/+59
*	V8.7 (#36)	ckeller	2019-02-14	1	-1/+8
*	Merge from LFSC (#26)	ckeller	2019-01-28	1	-11/+35
*	Zeq_bool -> Z.eqb	Quentin Garchery	2018-10-27	1	-0/+6
*	Some proofs for the Int63 glue	Chantal Keller	2016-10-10	1	-1/+7
*	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	-1/+1
*	Initial import of SMTCoq v1.2	Chantal Keller	2015-01-12	1	-0/+1004