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

	Commit message (Collapse)	Author	Age	Files	Lines
*	k1c -> kvx changes	David Monniaux	2020-05-26	1	-1/+1
\|
*	Scaling down forgotten tests -> test/c/ operational	Cyril SIX	2019-10-22	1	-0/+5
\|
*	Reduce the running times of the tests in test/c	Xavier Leroy	2017-08-26	1	-1/+1
\| \| \| \|	Running times were too long when executed on low-end ARM or PowerPC hardware, or under QEMU emulation.
*	Updates to the local test suite	Xavier Leroy	2016-07-24	1	-1/+1
\| \| \| \| \| \| \|	- Adjust parameters to bring the running time of each test closer to 1 second - compression/arcode.c: array access one past - "inline" -> "static inline" - Remove cchecklink support
*	driver: removed option -flonglong	xleroy	2013-04-22	1	-0/+223
	test/c: added SHA3 cfrontend: support casts between long long and pointers, and comparisons between them. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2213 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e