compcert-kvx - Unnamed repository; edit this file 'description' to name the repository.

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge of the newmem and newextcalls branches:	xleroy	2010-03-07	1	-9/+7
*	Suppressed -fall-extensions option, too dangerous wrt flonglong	xleroy	2010-03-03	2	-10/+1
*	Switching to the new C parser/elaborator/simplifier	xleroy	2010-03-03	2	-79/+60
*	Revised handling of #pragma section and small data areas	xleroy	2010-01-27	2	-79/+85
*	PowerPC/EABI port: preliminary support for #pragma section and	xleroy	2009-11-03	2	-6/+19
*	Simplified the treatment of the PowerPC small data area; now more specific to...	xleroy	2009-11-02	2	-6/+0
*	Preliminary support for small data area in PowerPC port.	xleroy	2009-11-01	2	-0/+6
*	No '\n' in Coq strings...	xleroy	2009-08-18	1	-1/+3
*	Distinguish two kinds of nonterminating behaviors: silent divergence	xleroy	2009-08-16	1	-537/+39
*	Added 'going wrong' behaviors	xleroy	2009-08-05	2	-81/+110
*	Adapted to work with Coq 8.2-1v1.4.1	xleroy	2009-06-05	2	-8/+8
*	Added tail call optimization pass	xleroy	2009-03-26	1	-2/+9
*	- Added alignment constraints to memory loads and stores.	xleroy	2009-01-11	1	-20/+0
*	Reorganized the development, modularizing away machine-dependent parts.	xleroy	2008-12-30	4	-0/+1330