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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Portage réussi et complet	Cyril SIX	2019-07-17	1	-8/+8
\|
*	Up to ntt	Cyril SIX	2019-07-17	2	-3/+4
\|
*	take other measurements	David Monniaux	2019-05-29	1	-1/+1
\|
*	Adding more measures	Cyril SIX	2019-05-17	2	-8/+9
\|
*	Avancement sur la génération de Makefile des benchmarks	Cyril SIX	2019-05-14	2	-24/+2
\|
*	Changes to include a -O1 -fschedule-insns2 gcc run as well	Cyril SIX	2019-04-26	1	-1/+4
\|
*	forgot a free()	David Monniaux	2019-03-12	1	-0/+1
\|
*	mul8: loop-invariant code motion	David Monniaux	2019-02-19	3	-3/+63
\|
*	forgot to deallocate block	David Monniaux	2019-02-18	3	-3/+8
\| \| \| \|	-g changes performance
*	double matrix multiplication	David Monniaux	2019-02-15	4	-0/+371