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

	Commit message (Expand)	Author	Age	Files	Lines
*	getting rid of native-coq (#95)	vblot	2021-05-28	1	-398/+0
*	Merge branch 'master' of github.com:smtcoq/smtcoq into coq-8.10	Chantal Keller	2021-05-26	1	-1/+1
\|\
\| *	Update copyright	Chantal Keller	2021-05-26	1	-1/+1
* \|	Merge branch 'master' of github.com:smtcoq/smtcoq into coq-8.10	Chantal Keller	2020-06-29	1	-1/+5
\|\\|
\| *	Remove invalid axiom (see #71)	Chantal Keller	2020-06-29	1	-1/+5
* \|	Hints in databases	Chantal Keller	2020-01-28	1	-0/+2
\|/
*	Merge from LFSC (#26)	ckeller	2019-01-28	1	-7/+2
*	Compiles with Coq-8.6	Chantal Keller	2017-10-03	1	-2/+0
*	Some proofs for the Int63 glue	Chantal Keller	2016-10-10	1	-4/+7
*	Updating of the copyright	Chantal Keller	2016-04-27	1	-3/+3
*	Light port to Coq 8.5 under progress	Chantal Keller	2016-03-18	1	-0/+396
*	Removed old port to Coq 8.4	Chantal Keller	2016-03-02	1	-396/+0
*	More efficient initialization of an array	Chantal Keller	2015-02-11	1	-7/+3
*	More on the support for standard Coq (not working yet)	Chantal Keller	2015-02-10	1	-3/+5
*	Frontend for the standard version of Coq (still bad computational behavior)	Chantal Keller	2015-02-10	1	-34/+70
*	Start porting to the standard version of Coq (not finished yet)	Chantal Keller	2015-01-13	1	-0/+362