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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Corrected a bug in the generation of certificates for CNF computation of iff	Chantal Keller	2015-06-18	1	-1/+1
\|
*	Generic program to run the extracted checkers (basic error messages)	Chantal Keller	2015-04-30	1	-14/+18
\|
*	Generic program to run the extracted checkers	Chantal Keller	2015-04-30	2	-2/+48
\|
*	Corrected a bug introduced in native compilation	Chantal Keller	2015-02-12	1	-1/+2
\|
*	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	16	-90/+139
\|
*	Frontend for the standard version of Coq (still bad computational behavior)	Chantal Keller	2015-02-10	12	-325/+3551
\|
*	Start porting to the standard version of Coq (not finished yet)	Chantal Keller	2015-01-13	10	-0/+4070
\|
*	Identify ML functions that are implemented differently in native-coq and in ↵	Chantal Keller	2015-01-13	5	-75/+42
\| \| \| \|	standard coq
*	Identify ML functions that depend on native-coq	Chantal Keller	2015-01-13	12	-41/+74
\|
*	Room for compilation with other versions of Coq	Chantal Keller	2015-01-13	3	-4/+10
\|
*	Initial import of SMTCoq v1.2	Chantal Keller	2015-01-12	50	-0/+24014