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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12	Chantal Keller	2021-10-21	6	-211/+134
\|\
\| *	Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11	Chantal Keller	2021-10-21	6	-211/+134
\| \|\
\| \| *	Merge remote-tracking branch 'origin/master' into coq-8.10	Chantal Keller	2021-10-21	6	-211/+134
\| \| \|\
\| \| \| *	Better use of the typeclass mechanism	Chantal Keller	2021-10-21	6	-210/+133
\| \| \| \|
* \| \| \|	Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12	Chantal Keller	2021-10-20	1	-1/+68
\|\\| \| \|
\| * \| \|	Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11	Chantal Keller	2021-10-20	1	-1/+68
\| \|\\| \|
\| \| * \|	Merge remote-tracking branch 'origin/master' into coq-8.10	Chantal Keller	2021-10-20	1	-1/+68
\| \| \|\\|
\| \| \| *	prod is CompDec	Chantal Keller	2021-10-20	1	-1/+68
\| \| \| \|
* \| \| \|	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 'origin/coq-8.11' into coq-8.12	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	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.11' into coq-8.12	Chantal Keller	2021-09-20	1	-101/+30
\|\\| \| \|
\| * \| \|	Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11	Chantal Keller	2021-09-20	1	-101/+30
\| \|\\| \|
\| \| * \|	Merge remote-tracking branch 'origin/master' into coq-8.10	Chantal Keller	2021-09-20	1	-101/+30
\| \| \|\\|
\| \| \| *	vauto is now complete w.r.t. symmetry of equality (but may be exponential in ↵	Chantal Keller	2021-09-20	1	-101/+30
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	some cases)
* \| \| \|	Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12	Chantal Keller	2021-09-17	1	-1/+1
\|\\| \| \|
\| * \| \|	Merge remote-tracking branch 'remotes/origin/coq-8.10' into coq-8.11	Chantal Keller	2021-09-17	1	-1/+1
\| \|\\| \|
\| \| * \|	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 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	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.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.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.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
\| \| \| \|
* \| \| \|	Configure not needed anymore	Chantal Keller	2021-06-07	2	-4/+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.11' of github.com:smtcoq/smtcoq into coq-8.12	Chantal Keller	2021-05-28	2	-866/+4
\|\\| \| \|
\| * \| \|	Configure is back (due to #69)	Chantal Keller	2021-05-28	2	-828/+4
\| \| \| \|