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

	Commit message (Collapse)	Author	Age	Files	Lines
*	k1c -> kvx changes	David Monniaux	2020-05-26	3	-3/+3
\|
*	All working benches ported	Cyril SIX	2019-07-17	1	-1/+1
\|
*	Up to ntt	Cyril SIX	2019-07-17	2	-3/+3
\|
*	Adding more measures	Cyril SIX	2019-05-17	2	-1/+2
\|
*	Avancement sur la génération de Makefile des benchmarks	Cyril SIX	2019-05-14	2	-30/+2
\|
*	Changes to include a -O1 -fschedule-insns2 gcc run as well	Cyril SIX	2019-04-26	1	-1/+4
\|
*	simplification des Makefile	David Monniaux	2019-02-05	1	-19/+6
\|
*	modified version	David Monniaux	2019-01-31	1	-0/+328
\|
*	hand optimized	David Monniaux	2019-01-31	2	-0/+691
\|
*	remove cruft dealing with __int128 and __thread	David Monniaux	2019-01-30	1	-1/+1
\|
*	some more example	David Monniaux	2019-01-19	4	-0/+127