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

	Commit message (Collapse)	Author	Age	Files	Lines
*	All working benches ported	Cyril SIX	2019-07-17	2	-3/+3
\|
*	some more benchmarks	David Monniaux	2019-06-06	1	-0/+3
\|
*	truly inline function as macro to trigger better instruction selection	David Monniaux	2019-05-15	1	-1/+6
\| \| \| \|	(replace x/2 by x*0.5)
*	attempt at inlining; not many cycles removed	David Monniaux	2019-05-15	1	-9/+11
\|
*	Heater example from Lustre v4	David Monniaux	2019-05-15	1	-3/+11
\|
*	Lustre v4 example	David Monniaux	2019-05-15	7	-0/+567