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

	Commit message (Expand)	Author	Age	Files	Lines
*	Add '-package num' to MakefileHEAD coq-8.13	Yann Herklotz	2022-08-02	1	-1/+1
*	Extraction for Coq 8.13 (#109)	ckeller	2022-07-30	20	-7637/+17578
*	New case for vauto	Chantal Keller	2022-07-29	1	-1/+9
*	Do not add CompDec on the fly	Chantal Keller	2022-05-06	2	-272/+367
*	Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13SMTCoq-2.0+8.13	Chantal Keller	2022-05-04	1	-2/+1
\|\
\| *	Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12SMTCoq-2.0+8.12	Chantal Keller	2022-05-04	1	-2/+1
\| \|\
\| \| *	Remove unused record fieldSMTCoq-2.0+8.11	Chantal Keller	2022-05-04	1	-2/+1
* \| \|	Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13	Chantal Keller	2022-05-04	1	-24/+24
\|\\| \|
\| * \|	Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12	Chantal Keller	2022-05-04	1	-24/+24
\| \|\\|
\| \| *	Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11	Chantal Keller	2022-05-04	1	-24/+24
\| \| \|\
\| \| \| *	Merge remote-tracking branch 'origin/coq-8.9' into coq-8.10	Chantal Keller	2022-05-04	1	-24/+24
\| \| \| \|\
\| \| \| \| *	Comment tests	Chantal Keller	2022-05-04	1	-24/+24
* \| \| \| \|	Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13	Chantal Keller	2022-04-14	8	-18/+103
\|\\| \| \| \|
\| * \| \| \|	Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12	Chantal Keller	2022-04-14	8	-18/+103
\| \|\\| \| \|
\| \| * \| \|	Clean-up	Chantal Keller	2022-04-14	3	-1/+3
\| \| * \| \|	Port	Chantal Keller	2022-04-14	1	-42/+45
\| \| * \| \|	Merge remote-tracking branch 'origin/coq-8.11' into timeout_verit	Chantal Keller	2022-04-14	114	-6219/+3462
\| \| \|\ \ \
\| \| \| * \| \|	Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11	Chantal Keller	2022-02-18	1	-19/+255
\| \| \| \|\\| \|
\| \| * \| \| \|	verit_timeout takes an integer as parameter	lduboisd	2022-04-11	2	-26/+26
\| \| * \| \| \|	use of anomaly for timeout	lduboisd	2022-04-08	3	-7/+7
\| \| * \| \| \|	verit timeout	lduboisd	2021-12-10	4	-8/+87
* \| \| \| \| \|	Removed deprecated features	Chantal Keller	2022-02-18	15	-499/+499
* \| \| \| \| \|	Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13	Chantal Keller	2022-02-18	2	-15/+15
\|\\| \| \| \| \|
\| * \| \| \| \|	Remove deprecated and some warnings	Chantal Keller	2022-02-18	3	-19/+19
* \| \| \| \| \|	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
\|\\| \| \| \| \|