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	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
* \| \|	Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11	Chantal Keller	2021-09-07	1	-9/+10
\|\\| \|
\| * \|	Merge remote-tracking branch 'remotes/origin/master' into coq-8.10	Chantal Keller	2021-09-07	1	-9/+10
\| \|\\|
\| \| *	Update installation instructions for CVC4	Chantal Keller	2021-09-07	1	-9/+10
* \| \|	Merge remote-tracking branch 'remotes/origin/coq-8.10' into coq-8.11	Chantal Keller	2021-08-30	3	-3/+3
\|\\| \|
\| * \|	Rename directory because MacOS FS is case-insensitive	Chantal Keller	2021-08-30	3	-3/+3
* \| \|	Merge remote-tracking branch 'origin/coq-8.10' into HEAD	vblot	2021-08-25	2	-1/+3
\|\\| \|
\| * \|	Merge remote-tracking branch 'origin/master' into HEAD	vblot	2021-08-25	2	-1/+3
\| \|\\|
\| \| *	fix array notations clash with ssreflect	vblot	2021-08-25	2	-1/+3
* \| \|	Merge remote-tracking branch 'remotes/origin/coq-8.10' into coq-8.11	Chantal Keller	2021-08-18	1	-0/+8
\|\\| \|
\| * \|	Merge remote-tracking branch 'remotes/origin/master' into coq-8.10	Chantal Keller	2021-08-18	1	-0/+8
\| \|\\|
\| \| *	Detail the path to SMTCoq when installing via opam	Chantal Keller	2021-08-18	1	-0/+8
* \| \|	Merge remote-tracking branch 'remotes/origin/coq-8.10' into coq-8.11	Chantal Keller	2021-08-18	1	-2/+2
\|\\| \|
\| * \|	Merge remote-tracking branch 'remotes/origin/master' into coq-8.10	Chantal Keller	2021-08-18	1	-2/+2
\| \|\\|
\| \| *	Update installation instructions	Chantal Keller	2021-08-18	1	-2/+2
* \| \|	Merge remote-tracking branch 'remotes/origin/coq-8.10' into coq-8.11	Chantal Keller	2021-08-18	1	-6/+4
\|\\| \|
\| * \|	Merge remote-tracking branch 'remotes/origin/master' into coq-8.10	Chantal Keller	2021-08-18	1	-6/+4
\| \|\\|
\| \| *	Update installation instructions	Chantal Keller	2021-08-18	1	-45/+4
* \| \|	Merge remote-tracking branch 'remotes/origin/coq-8.10' into coq-8.11	Chantal Keller	2021-07-11	1	-58/+63
\|\\| \|
\| * \|	Merge remote-tracking branch 'remotes/origin/master' into coq-8.10	Chantal Keller	2021-07-11	1	-58/+63
\| \|\\|
\| \| *	The verit tactics now immediately fail if veriT is not installed	Chantal Keller	2021-07-11	1	-58/+63
* \| \|	Ring must be imported	Chantal Keller	2021-07-07	1	-1/+1
* \| \|	Merge remote-tracking branch 'remotes/origin/coq-8.10' into coq-8.11	Chantal Keller	2021-07-07	25	-5042/+1664
\|\\| \|
\| * \|	use native integers (#96)	vblot	2021-07-07	25	-5042/+1664
* \| \|	Merge remote-tracking branch 'remotes/origin/coq-8.10' into coq-8.11	Chantal Keller	2021-06-02	3	-32/+117
\|\\| \|
\| * \|	Merge remote-tracking branch 'remotes/origin/master' into coq-8.10	Chantal Keller	2021-06-02	3	-32/+117
\| \|\\|
\| \| *	Type back in CompDec (for efficiency reasons)	Chantal Keller	2021-06-02	3	-32/+117
* \| \|	Configure is back (due to #69)	Chantal Keller	2021-05-28	6	-829/+8
* \| \|	Merge branch 'coq-8.10' of github.com:smtcoq/smtcoq into coq-8.11	Chantal Keller	2021-05-28	61	-2197/+1637
\|\\| \|