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

	Commit message (Expand)	Author	Age	Files	Lines
*	Typos in comments	xleroy	2013-04-30	2	-3/+3
*	Expand 64-bit integer comparisons into 32-bit integer comparisons.	xleroy	2013-04-29	8	-392/+2
*	Missing GLOB	xleroy	2013-04-23	1	-1/+1
*	Make ia32/ code more portable across systems.	xleroy	2013-04-23	29	-879/+912
*	Fixes in PowerPC port	xleroy	2013-04-21	6	-61/+108
*	Split arch/int64.s into one file per function.	xleroy	2013-04-20	45	-1238/+2698
*	Configuring the assembler used for the runtime lib	xleroy	2013-04-20	2	-1/+3
*	Remove __i64_{neg,add,sub,mul}, now handled directly by the compiler.	xleroy	2013-04-20	4	-171/+0
*	Big merge of the newregalloc-int64 branch. Lots of changes in two directions:	xleroy	2013-04-20	5	-10/+1643
*	Support for indirect symbols under MacOS X (final).	xleroy	2012-07-14	3	-62/+4
*	Simplified stdlib wrapper; use it only under MacOS X	xleroy	2010-09-04	4	-259/+26
*	Merge of the newmem and newextcalls branches:	xleroy	2010-03-07	1	-0/+19
*	Some cleanups	xleroy	2009-01-02	1	-1/+10
*	Removed vfprintf, because it was causing portability problems	xleroy	2008-12-31	2	-6/+0
*	Compilo C, preprocesseur, assembleur sont determines par configure et mis dan...	xleroy	2008-04-19	1	-2/+1
*	Ajout license, README, copyright notices	xleroy	2008-01-27	3	-0/+45
*	Ajout et utilisation de caml/Driver.ml. Ajout ./configure. Revu Makefiles	xleroy	2007-08-06	1	-0/+7
*	Fusion des modifications faites sur les branches "tailcalls" et "smallstep".	xleroy	2007-08-04	4	-0/+245