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

	Commit message (Collapse)	Author	Age	Files	Lines
*	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 efficient initialization of an array	Chantal Keller	2015-02-11	1	-7/+3
\|
*	Corrected a bug in the initialization of arrays for the standard version ↵	Chantal Keller	2015-02-11	1	-2/+7
\| \| \| \|	(the last element is the default)
*	More on the support for standard Coq (not working yet)	Chantal Keller	2015-02-10	7	-61/+106
\|
*	Frontend for the standard version of Coq (still bad computational behavior)	Chantal Keller	2015-02-10	11	-325/+3548
\|
*	Start porting to the standard version of Coq (not finished yet)	Chantal Keller	2015-01-13	9	-0/+4064