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	-1/+7
*	Merge tag 'v3.6' of https://github.com/AbsInt/CompCert into mppa-work-upstrea...	David Monniaux	2019-09-20	1	-3/+2
\|\
\| *	Revise the "bench" entries of the test suite	Xavier Leroy	2019-09-17	1	-3/+2
* \|	Scaling down compression tests	Cyril SIX	2019-09-13	1	-5/+11
\|/
*	test/compression: use unique temporary files for testing	Xavier Leroy	2017-08-27	1	-7/+7
*	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	-2/+2
*	Updates to the local test suite	Xavier Leroy	2016-07-24	1	-17/+5
*	test/regression: test packedstruct1 only if unaligned accesses are supported.	Xavier Leroy	2015-08-21	1	-1/+1
*	PowerPC port: refactored the expansion of built-in functions and	xleroy	2014-07-28	1	-1/+15
*	Presimplification SimplVolatile: cleaned up and integrated.	xleroy	2011-08-18	1	-1/+1
*	No crash if nonexistent input file.	xleroy	2010-09-14	1	-1/+2
*	Ajout nouveaux tests	xleroy	2008-08-09	1	-0/+59