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

	Commit message (Collapse)	Author	Age	Files	Lines
*	ocaml benchmark	David Monniaux	2019-03-28	1	-4/+5
\|
*	some more inline	David Monniaux	2019-03-28	1	-2/+3
\|
*	-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