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

	Commit message (Collapse)	Author	Age	Files	Lines
*	tests_O3	David Monniaux	2021-09-29	1	-1/+21
\|
*	Removing Yarpgen test 89	Cyril SIX	2021-01-07	1	-0/+14
\| \| \| \|	Issue #232
*	remettre yarpgen	David Monniaux	2020-09-02	1	-1/+1
\|
*	reinstate TARGET_CC	David Monniaux	2020-07-28	1	-1/+1
\|
*	rm mods for running tests	David Monniaux	2020-07-28	1	-2/+2
\|
*	do not use all-loads-nontrap	David Monniaux	2020-07-28	1	-1/+1
\|
*	AUXR	David Monniaux	2020-07-28	1	-3/+4
\|
*	k1c -> kvx changes	David Monniaux	2020-05-26	1	-15/+15
\|
*	remove host .s generation	David Monniaux	2020-03-28	1	-1/+1
\|
*	remove tests wrt host	David Monniaux	2020-03-28	1	-1/+1
\|
*	fixup for arm	David Monniaux	2020-03-28	1	-1/+1
\|
*	run yarpgen correctly on arm	David Monniaux	2020-03-28	1	-3/+11
\|
*	limit due to stack overflows	David Monniaux	2020-03-28	1	-1/+1
\|
*	more fixes for CI	David Monniaux	2020-03-28	1	-1/+1
\|
*	fix inconsistency	David Monniaux	2020-03-28	1	-8/+7
\|
*	better assemble with gcc	David Monniaux	2020-03-28	1	-2/+3
\|
*	fix limitxy	David Monniaux	2020-03-28	1	-1/+1
\|
*	stdlib path	David Monniaux	2020-03-28	1	-3/+5
\|
*	some more Makefile fixes (disable cse2 it's too slow)	David Monniaux	2020-03-28	1	-1/+1
\|
*	fix targets for proper generation	David Monniaux	2020-03-28	1	-2/+5
\|
*	fix Makefile (again)	David Monniaux	2020-03-28	1	-9/+10
\|
*	fix Makefile for not remaking the generator	David Monniaux	2020-03-28	1	-13/+13
\|
*	set up for autogeneration of yarpgen	David Monniaux	2020-03-28	1	-7/+22
\|
*	Makefile for CI	David Monniaux	2020-03-28	2	-24/+93
\|
*	check that gcc and ccomp compiled k1c code return the same	David Monniaux	2019-03-22	1	-2/+6
\|
*	improved testing	David Monniaux	2019-03-22	1	-5/+16
\|
*	uses yarpgen random generator	David Monniaux	2019-03-22	1	-0/+37