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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Some proofs for the Int63 glue	Chantal Keller	2016-10-14	1	-8/+104
\|
*	Some proofs for the Int63 glue	Chantal Keller	2016-10-10	5	-121/+185
\|
*	Use the most efficient operations of Int31	Chantal Keller	2016-09-28	2	-47/+34
\|
*	Use the Int31 library with coq-8.5	Chantal Keller	2016-09-28	4	-3135/+0
\|
*	More straightforward definitions in Int63Native_standard	Chantal Keller	2016-09-26	1	-32/+32
\|
*	Updating of the copyright	Chantal Keller	2016-04-27	8	-47/+84
\|
*	Light port to Coq 8.5 under progress	Chantal Keller	2016-03-18	8	-0/+6434
\|
*	Removed old port to Coq 8.4	Chantal Keller	2016-03-02	8	-6381/+0
\|
*	Implemented cast on int31 directly	Chantal Keller	2015-02-11	3	-61/+114
\|
*	COrrect implementation of foldi_cont and foldi_down_cont	Chantal Keller	2015-02-11	1	-6/+6
\|
*	More on the support for standard Coq (not working yet)	Chantal Keller	2015-02-10	5	-51/+69
\|
*	Frontend for the standard version of Coq (still bad computational behavior)	Chantal Keller	2015-02-10	8	-291/+3472
\|
*	Start porting to the standard version of Coq (not finished yet)	Chantal Keller	2015-01-13	5	-0/+3129