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

	Commit message (Expand)	Author	Age	Files	Lines
*	bitsliced-tea	Cyril SIX	2019-07-17	1	-0/+4
*	(#141) Started to port the new Makefile to rules.mk. Ported binary_search	Cyril SIX	2019-07-17	2	-3/+1
*	Deleting junk files	Cyril SIX	2019-07-17	7	-1932/+0
*	remove old "ternary" stuff	David Monniaux	2019-06-04	1	-8/+7
*	Adding more measures	Cyril SIX	2019-05-17	1	-1/+1
*	CSV file generation for benches (only binary_search for now)	Cyril SIX	2019-05-15	1	-0/+1
*	Avancement sur la génération de Makefile des benchmarks	Cyril SIX	2019-05-14	1	-1/+1
*	load code into I-cache	David Monniaux	2019-05-04	1	-0/+3
*	[#120] - Makefile generator + replaced binary_search/Makefile : it works	Cyril SIX	2019-05-03	2	-30/+1
*	Changes to include a -O1 -fschedule-insns2 gcc run as well	Cyril SIX	2019-04-26	1	-0/+4
*	better explanation	David Monniaux	2019-04-08	1	-4/+26
*	better intermediate point	David Monniaux	2019-04-08	1	-5/+8
*	use ternary in fill	David Monniaux	2019-04-06	1	-1/+1
*	reoptimize the C	David Monniaux	2019-04-06	1	-1/+2
*	hand optimizations	David Monniaux	2019-04-06	1	-2/+4
*	various hand optimizations	David Monniaux	2019-04-06	5	-0/+1525
*	reoptimize by hand	David Monniaux	2019-04-06	1	-3/+2
*	goto end	David Monniaux	2019-04-06	1	-2/+25
*	there seems to be some cache preload involved?	David Monniaux	2019-04-06	1	-1/+2
*	use of ternary operators	David Monniaux	2019-04-06	1	-3/+28
*	hand optimizations	David Monniaux	2019-04-06	2	-0/+407
*	have one with specific position	David Monniaux	2019-04-06	1	-1/+1
*	no need for this to be in two_address_op	David Monniaux	2019-04-06	1	-1/+1
*	binary search from Rosetta Code	David Monniaux	2019-04-06	2	-0/+78