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/coq-8.10' into coq-8.11	Chantal Keller	2022-02-17	2	-1/+5
\|\\| \|
\| * \|	Merge remote-tracking branch 'origin/master' into coq-8.10	Chantal Keller	2022-02-17	2	-1/+5
\| \|\ \
\| \| * \|	Improve make cleanall	Chantal Keller	2022-02-17	2	-1/+5
* \| \| \|	Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11	Chantal Keller	2022-02-17	115	-135/+137
\|\\| \| \|
\| * \| \|	Merge remote-tracking branch 'origin/master' into coq-8.10	Chantal Keller	2022-02-17	115	-115/+115
\| \|\\| \|
\| \| * \|	Update copyright	Chantal Keller	2022-02-16	126	-126/+126
\| * \| \|	Add debugging information for uninterpreted functions	Chantal Keller	2022-02-16	6	-20/+22
* \| \| \|	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.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.10' into coq-8.11	Chantal Keller	2021-12-07	4	-5/+27
\|\\| \|
\| * \|	Merge remote-tracking branch 'origin/master' into coq-8.10	Chantal Keller	2021-12-07	4	-5/+27
\| \|\\|
\| \| *	Solved bug in delayed ComDec	Chantal Keller	2021-12-07	4	-5/+27
* \| \|	Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11	Chantal Keller	2021-11-15	2	-1/+59
\|\\| \|
\| * \|	Merge remote-tracking branch 'origin/master' into coq-8.10	Chantal Keller	2021-11-15	2	-1/+59
\| \|\\|
\| \| *	More bad instanciations by verit	Chantal Keller	2021-11-15	2	-1/+59
* \| \|	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.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.10' into coq-8.11	Chantal Keller	2021-10-14	2	-1/+44
\|\\| \|
\| * \|	Merge remote-tracking branch 'origin/master' into coq-8.10	Chantal Keller	2021-10-14	2	-1/+44
\| \|\\|
\| \| *	Two examples showing that prenex dependency is handled, but not non-prenex one	Chantal Keller	2021-10-14	1	-0/+43
\| \| *	Small optim	Chantal Keller	2021-10-14	1	-1/+1
* \| \|	Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11	Chantal Keller	2021-09-20	1	-13/+2
\|\\| \|
\| * \|	Merge remote-tracking branch 'origin/master' into coq-8.10	Chantal Keller	2021-09-20	1	-13/+2
\| \|\\|
\| \| *	Simplify apply_sym	Chantal Keller	2021-09-20	1	-13/+2
* \| \|	Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11	Chantal Keller	2021-09-20	2	-101/+67
\|\\| \|
\| * \|	Merge remote-tracking branch 'origin/master' into coq-8.10	Chantal Keller	2021-09-20	2	-101/+67
\| \|\\|
\| \| *	vauto is now complete w.r.t. symmetry of equality (but may be exponential in ...	Chantal Keller	2021-09-20	2	-101/+67
* \| \|	Merge remote-tracking branch 'remotes/origin/coq-8.10' into coq-8.11	Chantal Keller	2021-09-17	2	-1/+7
\|\\| \|
\| * \|	Merge remote-tracking branch 'origin/master' into coq-8.10	Chantal Keller	2021-09-17	2	-1/+7
\| \|\\|
\| \| *	Solve bug in prop2bool	Chantal Keller	2021-09-17	2	-1/+7
* \| \|	Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11	Chantal Keller	2021-09-16	1	-0/+2
\|\\| \|
\| * \|	Merge remote-tracking branch 'origin/master' into coq-8.10	Chantal Keller	2021-09-16	1	-0/+2
\| \|\\|
\| \| *	Update the list of authors and institutes	Chantal Keller	2021-09-16	1	-0/+2
* \| \|	Merge remote-tracking branch 'coq-8.10' into coq-8.11	vblot	2021-09-08	1	-9/+12
\|\\| \|
\| * \|	Merge remote-tracking branch 'smtcoq/master' into coq-8.10	vblot	2021-09-08	1	-9/+12
\| \|\\|
\| \| *	generalize polymorphic arguments detection	vblot	2021-09-08	1	-9/+12
* \| \|	Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11	Chantal Keller	2021-09-07	1	-0/+1
\|\\| \|
\| * \|	Merge remote-tracking branch 'origin/master' into coq-8.10	Chantal Keller	2021-09-07	1	-0/+1
\| \|\\|
\| \| *	Compilation instructions for CVC4	Chantal Keller	2021-09-07	1	-0/+1