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-18	1	-19/+254
\|\
\| *	Merge remote-tracking branch 'origin/coq-8.10' into coq-8.12	Chantal Keller	2022-02-18	1	-19/+254
\| \|\
\| \| *	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/coq-8.12' into coq-8.13	Chantal Keller	2022-02-17	1	-0/+4
\|\\| \| \|
\| * \| \|	Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12	Chantal Keller	2022-02-17	1	-0/+4
\| \|\ \ \
\| \| * \| \|	Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11	Chantal Keller	2022-02-17	1	-0/+4
\| \| \|\\| \|
\| \| \| * \|	Merge remote-tracking branch 'origin/master' into coq-8.10	Chantal Keller	2022-02-17	1	-0/+4
\| \| \| \|\ \
\| \| \| \| * \|	Improve make cleanall	Chantal Keller	2022-02-17	1	-0/+4
* \| \| \| \| \|	Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13	Chantal Keller	2022-02-17	106	-126/+128
\|\\| \| \| \| \|
\| * \| \| \| \|	Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12	Chantal Keller	2022-02-17	106	-126/+128
\| \|\\| \| \| \|
\| \| * \| \| \|	Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11	Chantal Keller	2022-02-17	106	-126/+128
\| \| \|\\| \| \|
\| \| \| * \| \|	Merge remote-tracking branch 'origin/master' into coq-8.10	Chantal Keller	2022-02-17	106	-106/+106
\| \| \| \|\\| \|
\| \| \| \| * \|	Update copyright	Chantal Keller	2022-02-16	117	-117/+117
\| \| \| * \| \|	Add debugging information for uninterpreted functions	Chantal Keller	2022-02-16	6	-20/+22
* \| \| \| \| \|	Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13	Chantal Keller	2022-02-15	19	-585/+983
\|\\| \| \| \| \|
\| * \| \| \| \|	Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12	Chantal Keller	2022-02-15	19	-585/+983
\| \|\\| \| \| \|
\| \| * \| \| \|	Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11	Chantal Keller	2022-02-15	19	-585/+983
\| \| \|\\| \| \|
\| \| \| * \| \|	Use the Register mechanism (#104)	ckeller	2022-02-15	19	-585/+983
\| \| \| \| \|/ \| \| \| \|/\|
* \| \| \| \|	Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13	Chantal Keller	2022-02-07	1	-0/+32
\|\\| \| \| \|
\| * \| \| \|	Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12	Chantal Keller	2022-02-07	1	-0/+32
\| \|\\| \| \|
\| \| * \| \|	Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11	Chantal Keller	2022-02-07	1	-0/+32
\| \| \|\\| \|
\| \| \| * \|	Merge remote-tracking branch 'origin/master' into coq-8.10	Chantal Keller	2022-02-07	1	-0/+32
\| \| \| \|\\|
\| \| \| \| *	More silent simplifications from veriT	Chantal Keller	2022-02-07	1	-0/+32
* \| \| \| \|	Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13	Chantal Keller	2021-12-07	3	-5/+4
\|\\| \| \| \|
\| * \| \| \|	Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12	Chantal Keller	2021-12-07	3	-5/+4
\| \|\\| \| \|
\| \| * \| \|	Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11	Chantal Keller	2021-12-07	3	-5/+4
\| \| \|\\| \|
\| \| \| * \|	Merge remote-tracking branch 'origin/master' into coq-8.10	Chantal Keller	2021-12-07	3	-5/+4
\| \| \| \|\\|
\| \| \| \| *	Solved bug in delayed ComDec	Chantal Keller	2021-12-07	3	-5/+4
* \| \| \| \|	Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13	Chantal Keller	2021-11-15	1	-1/+33
\|\\| \| \| \|
\| * \| \| \|	Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12	Chantal Keller	2021-11-15	1	-1/+33
\| \|\\| \| \|
\| \| * \| \|	Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11	Chantal Keller	2021-11-15	1	-1/+33
\| \| \|\\| \|
\| \| \| * \|	Merge remote-tracking branch 'origin/master' into coq-8.10	Chantal Keller	2021-11-15	1	-1/+33
\| \| \| \|\\|
\| \| \| \| *	More bad instanciations by verit	Chantal Keller	2021-11-15	1	-1/+33
* \| \| \| \|	Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13	Chantal Keller	2021-10-21	6	-211/+134
\|\\| \| \| \|
\| * \| \| \|	Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12	Chantal Keller	2021-10-21	6	-211/+134
\| \|\\| \| \|
\| \| * \| \|	Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11	Chantal Keller	2021-10-21	6	-211/+134
\| \| \|\\| \|
\| \| \| * \|	Merge remote-tracking branch 'origin/master' into coq-8.10	Chantal Keller	2021-10-21	6	-211/+134
\| \| \| \|\\|
\| \| \| \| *	Better use of the typeclass mechanism	Chantal Keller	2021-10-21	6	-210/+133
* \| \| \| \|	Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13	Chantal Keller	2021-10-20	1	-1/+68
\|\\| \| \| \|
\| * \| \| \|	Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12	Chantal Keller	2021-10-20	1	-1/+68
\| \|\\| \| \|
\| \| * \| \|	Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11	Chantal Keller	2021-10-20	1	-1/+68
\| \| \|\\| \|
\| \| \| * \|	Merge remote-tracking branch 'origin/master' into coq-8.10	Chantal Keller	2021-10-20	1	-1/+68
\| \| \| \|\\|
\| \| \| \| *	prod is CompDec	Chantal Keller	2021-10-20	1	-1/+68
* \| \| \| \|	Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13	Chantal Keller	2021-10-14	1	-1/+1
\|\\| \| \| \|
\| * \| \| \|	Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12	Chantal Keller	2021-10-14	1	-1/+1
\| \|\\| \| \|
\| \| * \| \|	Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11	Chantal Keller	2021-10-14	1	-1/+1
\| \| \|\\| \|
\| \| \| * \|	Merge remote-tracking branch 'origin/master' into coq-8.10	Chantal Keller	2021-10-14	1	-1/+1
\| \| \| \|\\|
\| \| \| \| *	Small optim	Chantal Keller	2021-10-14	1	-1/+1