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

	Commit message (Expand)	Author	Age	Files	Lines
*	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.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
* \| \| \|	Merge remote-tracking branch 'coq-8.11' into coq-8.12	vblot	2021-09-08	1	-9/+12
\|\\| \| \|
\| * \| \|	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 'remotes/origin/coq-8.11' into coq-8.12	Chantal Keller	2021-08-30	1	-1/+1
\|\\| \| \|
\| * \| \|	Merge remote-tracking branch 'remotes/origin/coq-8.10' into coq-8.11	Chantal Keller	2021-08-30	1	-1/+1
\| \|\\| \|
\| \| * \|	Rename directory because MacOS FS is case-insensitive	Chantal Keller	2021-08-30	1	-1/+1
* \| \| \|	Merge remote-tracking branch 'remotes/origin/coq-8.11' into coq-8.12	Chantal Keller	2021-07-07	4	-23/+9
\|\\| \| \|
\| * \| \|	Merge remote-tracking branch 'remotes/origin/coq-8.10' into coq-8.11	Chantal Keller	2021-07-07	4	-23/+9
\| \|\\| \|
\| \| * \|	use native integers (#96)	vblot	2021-07-07	4	-23/+9
* \| \| \|	Merge branch 'coq-8.11' of github.com:smtcoq/smtcoq into coq-8.12	Chantal Keller	2021-05-28	20	-659/+1004
\|\\| \| \|
\| * \| \|	Merge branch 'coq-8.10' of github.com:smtcoq/smtcoq into coq-8.11	Chantal Keller	2021-05-28	20	-659/+1007
\| \|\\| \|
\| \| * \|	getting rid of native-coq (#95)	vblot	2021-05-28	20	-659/+1018
\| \|/ /
* \| \|	Merge branch 'coq-8.11' of github.com:smtcoq/smtcoq into coq-8.12	Chantal Keller	2021-05-26	22	-22/+22
\|\\| \|
\| * \|	Merge branch 'master' of github.com:smtcoq/smtcoq into coq-8.10	Chantal Keller	2021-05-26	22	-22/+22
\| \|\\|
\| \| *	Update copyright	Chantal Keller	2021-05-26	22	-22/+22
* \| \|	Port ocaml part	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/+1
\|\\|
\| *	CompDec on interpreted type	Chantal Keller	2021-05-05	1	-1/+1
* \|	Merge branch 'master' of github.com:smtcoq/smtcoq into coq-8.10	Chantal Keller	2021-05-05	2	-2/+8
\|\\|
\| *	Reify applied polymorphic terms with compdec	Chantal Keller	2021-05-05	2	-2/+8
* \|	Merge branch 'master' of github.com:smtcoq/smtcoq into coq-8.10	Chantal Keller	2021-04-28	3	-4/+18
\|\\|
\| *	Solve a bug when reifying under a binder	Chantal Keller	2021-04-28	3	-4/+18
* \|	Merge branch 'master' of github.com:smtcoq/smtcoq into coq-8.10	Chantal Keller	2021-04-26	1	-1/+3
\|\\|
\| *	Take hypotheses from the local context (#91)	ckeller	2021-04-26	1	-1/+3
* \|	Merge branch 'master' of github.com:smtcoq/smtcoq into coq-8.10	Chantal Keller	2021-04-21	1	-15/+15
\|\\|
\| *	Solve a bound variable capture problem in the reification of quantified hypot...	Chantal Keller	2021-04-21	1	-15/+15
* \|	Port to 8.10	Chantal Keller	2021-04-21	1	-1/+1
* \|	Merge branch 'master' of github.com:smtcoq/smtcoq into coq-8.10	Chantal Keller	2021-04-21	5	-16/+57
\|\\|
\| *	Warning (instead of error) for unsupported lemmas (#90)	ckeller	2021-04-21	5	-16/+57
* \|	Merge branch 'master' of github.com:smtcoq/smtcoq into coq-8.10	Chantal Keller	2021-04-21	3	-2/+29
\|\\|
\| *	Convert hypotheses from Prop to bool (#89)	ckeller	2021-04-21	3	-2/+29
* \|	Un-backport #87	Chantal Keller	2021-04-01	1	-1/+1
* \|	Merge branch 'master' of github.com:smtcoq/smtcoq into coq-8.10	Chantal Keller	2021-04-01	1	-2/+3
\|\\|
\| *	Backport #87 to Coq-8.9 (closes #87)	Chantal Keller	2021-04-01	1	-1/+1
\| *	use is_true from standard library	lduboisd	2021-04-01	1	-2/+3
* \|	Merge branch 'master' of github.com:smtcoq/smtcoq into coq-8.10	Chantal Keller	2021-02-23	6	-165/+312
\|\\|
\| *	Link equality on uninterpreted sorts with SMT equality (#86)	ckeller	2021-02-23	6	-165/+312
* \|	Merge branch 'master' of github.com:smtcoq/smtcoq into coq-8.10	Chantal Keller	2021-01-13	1	-0/+15
\|\\|
\| *	Reify polymorphic terms	ckeller	2021-01-05	1	-0/+15
* \|	Merge branch 'master' of github.com:smtcoq/smtcoq into coq-8.10	Chantal Keller	2020-06-30	1	-1/+1
\|\\|
\| *	Empty bit-vectors are not valid in SMT (fixes #76)	Chantal Keller	2020-06-30	1	-1/+1