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

	Commit message (Expand)	Author	Age	Files	Lines
...
\| \| \| \| * \|	generalize polymorphic arguments detection	vblot	2021-09-08	1	-9/+12
* \| \| \| \| \|	Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13	Chantal Keller	2021-09-07	1	-0/+1
\|\\| \| \| \| \|
\| * \| \| \| \|	Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12	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	-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.12' into coq-8.13	Chantal Keller	2021-09-07	1	-9/+10
\|\\| \| \| \| \|
\| * \| \| \| \|	Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12	Chantal Keller	2021-09-07	1	-9/+10
\| \|\\| \| \| \|
\| \| * \| \| \|	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.12' into coq-8.13	Chantal Keller	2021-08-30	3	-3/+3
\|\\| \| \| \| \|
\| * \| \| \| \|	Merge remote-tracking branch 'remotes/origin/coq-8.11' into coq-8.12	Chantal Keller	2021-08-30	3	-3/+3
\| \|\\| \| \| \|
\| \| * \| \| \|	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.12' into HEAD	vblot	2021-08-25	2	-1/+3
\|\\| \| \| \| \|
\| * \| \| \| \|	Merge remote-tracking branch 'origin/coq-8.11' into HEAD	vblot	2021-08-25	2	-1/+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.12' into coq-8.13	Chantal Keller	2021-08-18	1	-0/+8
\|\\| \| \| \| \|
\| * \| \| \| \|	Merge remote-tracking branch 'remotes/origin/coq-8.11' into coq-8.12	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	-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
* \| \| \| \| \|	Update installation instructions	Chantal Keller	2021-08-18	1	-4/+4
* \| \| \| \| \|	Merge remote-tracking branch 'remotes/origin/coq-8.12' into coq-8.13	Chantal Keller	2021-08-18	1	-2/+2
\|\\| \| \| \| \|
\| * \| \| \| \|	Merge remote-tracking branch 'remotes/origin/coq-8.11' into coq-8.12	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	-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.12' into coq-8.13	Chantal Keller	2021-08-18	1	-6/+4
\|\\| \| \| \| \|
\| * \| \| \| \|	Merge remote-tracking branch 'remotes/origin/coq-8.11' into coq-8.12	Chantal Keller	2021-08-18	1	-6/+4
\| \|\\| \| \| \|
\| \| * \| \| \|	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.12' into coq-8.13	Chantal Keller	2021-07-11	1	-58/+63
\|\\| \| \| \| \|
\| * \| \| \| \|	Merge remote-tracking branch 'remotes/origin/coq-8.11' into coq-8.12	Chantal Keller	2021-07-11	1	-58/+63
\| \|\\| \| \| \|
\| \| * \| \| \|	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
* \| \| \| \| \|	Merge remote-tracking branch 'remotes/origin/coq-8.12' into coq-8.13	Chantal Keller	2021-07-07	27	-5063/+1695
\|\\| \| \| \| \|
\| * \| \| \| \|	Merge remote-tracking branch 'remotes/origin/coq-8.11' into coq-8.12	Chantal Keller	2021-07-07	26	-5036/+1668
\| \|\\| \| \| \|
\| \| * \| \| \|	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.12' into coq-8.13	Chantal Keller	2021-06-07	1	-1/+1
\|\\| \| \| \|
\| * \| \| \|	No configure anymore	Chantal Keller	2021-06-07	1	-1/+1
* \| \| \| \|	All tests go through	Chantal Keller	2021-06-07	1	-1/+1
* \| \| \| \|	Lia + factorize code	Chantal Keller	2021-06-07	5	-130/+97