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

	Commit message (Expand)	Author	Age	Files	Lines
*	ccomp profiling	Léo Gourdin	2022-01-05	1	-0/+6
*	Revise the "bench" entries of the test suite	Xavier Leroy	2019-09-17	1	-2/+2
*	test/: add a CCOMPOPTS make variable to pass additional compile-time flags	Xavier Leroy	2017-08-26	1	-1/+1
*	RISC-V port and assorted changes	Xavier Leroy	2017-04-28	1	-1/+1
*	test/raytracer: use our own strdup(), since this is not a standard function	Xavier Leroy	2016-07-24	1	-1/+9
*	Updates to the local test suite	Xavier Leroy	2016-07-24	1	-35/+2
*	test/regression: test packedstruct1 only if unaligned accesses are supported.	Xavier Leroy	2015-08-21	1	-1/+1
*	Define M_PI if not already there (it's not in <math.h> for strict ISO C99).	Xavier Leroy	2015-04-17	1	-0/+4
*	Add .gitignore files.	Xavier Leroy	2014-09-21	1	-0/+4
*	PowerPC port: refactored the expansion of built-in functions and	xleroy	2014-07-28	1	-1/+10
*	Merge of the "volatile" branch:	xleroy	2012-02-04	1	-1/+1
*	Presimplification SimplVolatile: cleaned up and integrated.	xleroy	2011-08-18	1	-1/+1
*	Improved test harness	xleroy	2011-03-10	2	-0/+4
*	Updated for Coq 8.3pl1. Some cleanups in test/*/Makefile.	xleroy	2011-03-09	1	-0/+2
*	Merge of the reuse-temps branch:	xleroy	2010-09-02	1	-1/+3
*	Updated raytracer test. Added SPASS test.	xleroy	2010-03-03	16	-159/+136
*	Protoized	xleroy	2010-03-02	1	-1/+1
*	Cil2Csyntax: added goto and labels; added assignment between structs	xleroy	2009-08-16	1	-0/+6
*	Ajout nouveaux tests	xleroy	2008-08-09	32	-0/+3031