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

	Commit message (Expand)	Author	Age	Files	Lines
...
\| \| * \| \|	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
* \| \| \| \|	Remove new warning	Chantal Keller	2021-06-07	1	-4/+4
* \| \| \| \|	Port the Coq part	Chantal Keller	2021-06-07	4	-20/+26
* \| \| \| \|	Merge remote-tracking branch 'remotes/origin/coq-8.12' into coq-8.13	Chantal Keller	2021-06-07	6	-37/+983
\|\\| \| \| \|
\| * \| \| \|	Configure not needed anymore	Chantal Keller	2021-06-07	3	-5/+866
\| * \| \| \|	Merge remote-tracking branch 'remotes/origin/coq-8.11' into coq-8.12	Chantal Keller	2021-06-07	3	-32/+117
\| \|\\| \| \|
\| \| * \| \|	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
* \| \| \| \|	Merge branch 'coq-8.12' of github.com:smtcoq/smtcoq into coq-8.13	Chantal Keller	2021-05-28	6	-867/+8
\|\\| \| \| \|
\| * \| \| \|	Merge branch 'coq-8.11' of github.com:smtcoq/smtcoq into coq-8.12	Chantal Keller	2021-05-28	6	-867/+8
\| \|\\| \| \|
\| \| * \| \|	Configure is back (due to #69)	Chantal Keller	2021-05-28	6	-829/+8
* \| \| \| \|	Merge branch 'coq-8.12' of github.com:smtcoq/smtcoq into coq-8.13	Chantal Keller	2021-05-28	61	-2205/+1682
\|\\| \| \| \|
\| * \| \| \|	Update documentation	Chantal Keller	2021-05-28	1	-7/+7
\| * \| \| \|	Merge branch 'coq-8.11' of github.com:smtcoq/smtcoq into coq-8.12	Chantal Keller	2021-05-28	61	-2198/+1675
\| \|\\| \| \|
\| \| * \| \|	Merge branch 'coq-8.10' of github.com:smtcoq/smtcoq into coq-8.11	Chantal Keller	2021-05-28	61	-2197/+1637
\| \| \|\\| \|
\| \| \| * \|	Add Makefile	Chantal Keller	2021-05-28	5	-4/+802
\| \| \| * \|	getting rid of native-coq (#95)	vblot	2021-05-28	60	-2194/+809
* \| \| \| \|	Merge branch 'coq-8.12' of github.com:smtcoq/smtcoq into coq-8.13	Chantal Keller	2021-05-28	5	-202/+10
\|\\| \| \| \|
\| * \| \| \|	Merge branch 'coq-8.11' of github.com:smtcoq/smtcoq into coq-8.12	Chantal Keller	2021-05-28	5	-202/+10
\| \|\\| \| \|
\| \| * \| \|	Merge branch 'coq-8.10' of github.com:smtcoq/smtcoq into coq-8.11	Chantal Keller	2021-05-28	5	-201/+10
\| \| \|\\| \|
\| \| \| * \|	Get rid of most of our copy of micromega's source code (#94)	vblot	2021-05-28	5	-179/+10
* \| \| \| \|	Port Lia.v	Chantal Keller	2021-05-26	1	-79/+127