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	-3/+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
*	Updates to the local test suite	Xavier Leroy	2016-07-24	1	-8/+0
*	Use gettimeofday() instead of obsolete ftime().	Xavier Leroy	2014-11-24	2	-11/+19
*	Add .gitignore files.	Xavier Leroy	2014-09-21	1	-0/+2
*	PowerPC port: refactored the expansion of built-in functions and	xleroy	2014-07-28	1	-1/+9
*	Merge of "newspilling" branch:	xleroy	2014-07-23	1	-13/+0
*	- Added alternate keywords __inline, __restrict, etc, for GCC compatibility	xleroy	2014-05-08	1	-2/+0
*	Integration of Jacques-Henri Jourdan's verified parser.	xleroy	2014-04-29	1	-0/+2
*	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
*	Bizarre use of struct valuev1.8	xleroy	2010-09-21	2	-2/+2
*	Merge of the reuse-temps branch:	xleroy	2010-09-02	3	-29/+3
*	Updated raytracer test. Added SPASS test.	xleroy	2010-03-03	113	-0/+83775