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

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge remote-tracking branch 'origin/master' into coq-8.10	Chantal Keller	2021-10-21	1	-3/+3
\|\
\| *	Better use of the typeclass mechanism	Chantal Keller	2021-10-21	1	-3/+3
* \|	Merge remote-tracking branch 'origin/master' into coq-8.10	Chantal Keller	2021-09-17	1	-1/+1
\|\\|
\| *	Solve bug in prop2bool	Chantal Keller	2021-09-17	1	-1/+1
* \|	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-05-05	1	-1/+0
\|\\|
\| *	CompDec on interpreted type	Chantal Keller	2021-05-05	1	-1/+0
* \|	Merge branch 'master' of github.com:smtcoq/smtcoq into coq-8.10	Chantal Keller	2021-05-05	1	-1/+24
\|\\|
\| *	Reify applied polymorphic terms with compdec	Chantal Keller	2021-05-05	1	-1/+24
* \|	Merge branch 'master' of github.com:smtcoq/smtcoq into coq-8.10	Chantal Keller	2021-04-28	1	-2/+2
\|\\|
\| *	prop2bool_hyps insensitive to parenthesis	Chantal Keller	2021-04-28	1	-2/+2
* \|	Merge branch 'master' of github.com:smtcoq/smtcoq into coq-8.10	Chantal Keller	2021-04-26	1	-3/+11
\|\\|
\| *	Equality between Booleans should be changed for hypotheses	Chantal Keller	2021-04-26	1	-3/+11
* \|	Merge branch 'master' of github.com:smtcoq/smtcoq into coq-8.10	Chantal Keller	2021-04-26	1	-3/+10
\|\\|
\| *	Take hypotheses from the local context (#91)	ckeller	2021-04-26	1	-3/+10
* \|	Merge branch 'master' of github.com:smtcoq/smtcoq into coq-8.10	Chantal Keller	2021-04-21	1	-4/+246
\|\\|
\| *	Convert hypotheses from Prop to bool (#89)	ckeller	2021-04-21	1	-4/+246
\|/
*	Link equality on uninterpreted sorts with SMT equality (#86)	ckeller	2021-02-23	1	-25/+23
*	Merge from LFSC (#26)	ckeller	2019-01-28	1	-0/+85