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

	Commit message (Collapse)	Author	Age	Files	Lines
*	[#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