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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Starting to modify official CompCert tests to be passable with the simu	Cyril SIX	2019-09-10	1	-0/+6
\|
*	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	-8/+14
\| \| \| \| \| \| \|	- 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
*	Don't use strdup(), it is not ISO C99.	Xavier Leroy	2015-08-21	1	-1/+2
\|
*	Fusion des modifications faites sur les branches "tailcalls" et "smallstep".	xleroy	2007-08-04	1	-4/+0
\| \| \| \| \| \| \| \| \| \| \| \|	En particulier: - Semantiques small-step depuis RTL jusqu'a PPC - Cminor independant du processeur - Ajout passes Selection et Reload - Ajout des langages intermediaires CminorSel et LTLin correspondants - Ajout des tailcalls depuis Cminor jusqu'a PPC git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@384 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Ajout et utilisation de compcert_stdio.h	xleroy	2006-10-22	1	-0/+4
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@123 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Davantage de tests	xleroy	2006-09-17	1	-0/+369
	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@104 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e