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

	Commit message (Collapse)	Author	Age	Files	Lines
*	adaptation pour k1c-cos	David Monniaux	2019-05-28	1	-2/+2
\|
*	Avancement sur la génération de Makefile des benchmarks	Cyril SIX	2019-05-14	1	-1/+1
\|
*	store o	David Monniaux	2019-05-04	1	-1/+1
\|
*	Changes to include a -O1 -fschedule-insns2 gcc run as well	Cyril SIX	2019-04-26	1	-2/+9
\|
*	some more simplifications	David Monniaux	2019-04-12	1	-1/+1
\|
*	Merge branch 'mppa-mul' into mppa_k0c	David Monniaux	2019-03-29	1	-6/+8
\|\
\| *	ocaml benchmark	David Monniaux	2019-03-28	1	-4/+5
\| \|
\| *	some more inline	David Monniaux	2019-03-28	1	-2/+3
\| \|
* \|	rm rules that conflict	David Monniaux	2019-03-29	1	-8/+8
\|/
*	-fpostpass-ilp	David Monniaux	2019-03-12	1	-1/+1
\|
*	simpler Makefiles	David Monniaux	2019-03-12	1	-0/+12
\|
*	stop warning about system includes	David Monniaux	2019-03-07	1	-1/+1
\|
*	forgot to deallocate block	David Monniaux	2019-02-18	1	-2/+2
\| \| \| \|	-g changes performance
*	-g in C FLAGS	David Monniaux	2019-02-07	1	-4/+7
\|
*	fix rules	David Monniaux	2019-02-07	1	-8/+8
\|
*	Makefiles now use rules.mk, and added a prohibition of unprototyped functions	David Monniaux	2019-02-06	1	-2/+4
\|
*	simplification des Makefile	David Monniaux	2019-02-05	1	-0/+37