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.12' into coq-8.13	Chantal Keller	2021-11-15	1	-1/+33
\|\\| \| \| \| \|
\| * \| \| \| \|	Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12	Chantal Keller	2021-11-15	1	-1/+33
\| \|\\| \| \| \|
\| \| * \| \| \|	Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11	Chantal Keller	2021-11-15	1	-1/+33
\| \| \|\\| \| \|
\| \| \| * \| \|	Merge remote-tracking branch 'origin/master' into coq-8.10	Chantal Keller	2021-11-15	1	-1/+33
\| \| \| \|\\| \|
\| \| \| \| * \|	More bad instanciations by verit	Chantal Keller	2021-11-15	1	-1/+33
* \| \| \| \| \|	Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13	Chantal Keller	2021-10-21	6	-211/+134
\|\\| \| \| \| \|
\| * \| \| \| \|	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.12' into coq-8.13	Chantal Keller	2021-10-20	1	-1/+68
\|\\| \| \| \| \|
\| * \| \| \| \|	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.12' into coq-8.13	Chantal Keller	2021-10-14	1	-1/+1
\|\\| \| \| \| \|
\| * \| \| \| \|	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.12' into coq-8.13	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	-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.12' into coq-8.13	Chantal Keller	2021-09-20	1	-101/+30
\|\\| \| \| \| \|
\| * \| \| \| \|	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
* \| \| \| \| \|	Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13	Chantal Keller	2021-09-17	1	-1/+1
\|\\| \| \| \| \|
\| * \| \| \| \|	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.12' into coq-8.13	vblot	2021-09-08	1	-9/+12
\|\\| \| \| \| \|
\| * \| \| \| \|	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.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
\| \|\\| \| \| \|