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

	Commit message (Collapse)	Author	Age	Files	Lines
*	hand optimized	David Monniaux	2019-03-27	2	-0/+3271
\|
*	match some 'and'	David Monniaux	2019-03-27	2	-4/+16
\|
*	essai du cmove	David Monniaux	2019-03-27	3	-3/+30
\|
*	ternary transfo	David Monniaux	2019-03-26	2	-1/+37
\|
*	ternary unsigned	David Monniaux	2019-03-26	1	-0/+7
\|
*	demo ternary op	David Monniaux	2019-03-24	2	-0/+49
\|
*	mysteriously slow code	David Monniaux	2019-03-24	2	-0/+70
\|
*	encore un essai de creduce	David Monniaux	2019-03-23	3	-0/+1561
\|
*	system for comparing speeds	David Monniaux	2019-03-23	1	-0/+12
\|
*	bitsliced AES in one file	David Monniaux	2019-03-23	1	-10/+85
\|
*	Test in one file only.	David Monniaux	2019-03-23	1	-0/+1467
\|
*	for testing with quest	David Monniaux	2019-03-22	1	-0/+24
\|
*	check that gcc and ccomp compiled k1c code return the same	David Monniaux	2019-03-22	1	-2/+6
\|
*	improved testing	David Monniaux	2019-03-22	1	-5/+16
\|
*	some more testing	David Monniaux	2019-03-22	1	-1/+1
\|
*	uses yarpgen random generator	David Monniaux	2019-03-22	1	-0/+37
\|
*	better patch for running the test suite	David Monniaux	2019-03-22	1	-0/+13
\|
*	Now we have division, simplify the patch.	David Monniaux	2019-03-22	1	-50/+0
\|
*	csmith for testing	David Monniaux	2019-03-20	1	-0/+23
\|
*	Makefile for ocamlrun testing	David Monniaux	2019-03-20	1	-0/+7
\|
*	ocaml byterunner example	David Monniaux	2019-03-20	119	-0/+45174
\|
*	rm need for gcc	David Monniaux	2019-03-20	2	-4/+2
\|
*	use the original source codes	David Monniaux	2019-03-20	30	-5528/+5235
\|
*	picomus compile aussi	David Monniaux	2019-03-20	1	-1/+1
\|
*	picosat fonctionne	David Monniaux	2019-03-20	2	-3/+7
\|
*	vire des scories INT_DIV et INT_MOD	David Monniaux	2019-03-20	5	-6/+6
\|
*	maddl / maddlim are synthesized (but not for pointers it seems)	David Monniaux	2019-03-20	2	-5/+21
\|
*	mul immediate begin	David Monniaux	2019-03-19	1	-0/+4
\|
*	seems to work	David Monniaux	2019-03-19	1	-0/+7
\|
*	test for madd	David Monniaux	2019-03-19	1	-0/+9
\|
*	andn / orn long complete I think	David Monniaux	2019-03-18	1	-0/+16
\|
*	stats on chunks etc.	David Monniaux	2019-03-17	1	-3/+5
\|
*	isolate the slow part	David Monniaux	2019-03-17	2	-3/+4
\|
*	experiments on what's slow	David Monniaux	2019-03-17	1	-136/+12
\|
*	longer tests	David Monniaux	2019-03-17	1	-1/+5
\|
*	compactify unrolled code	David Monniaux	2019-03-17	1	-143/+26
\|
*	expand h	David Monniaux	2019-03-17	1	-17/+33
\|
*	expand h	David Monniaux	2019-03-17	1	-17/+33
\|
*	the inliner is rotten	David Monniaux	2019-03-16	1	-26/+44
\|
*	long nand, nor, nxor	David Monniaux	2019-03-16	1	-5/+7
\|
*	nxor	David Monniaux	2019-03-16	1	-1/+5
\|
*	nor implemente	David Monniaux	2019-03-16	1	-1/+5
\|
*	nand is implemented	David Monniaux	2019-03-16	1	-0/+11
\|
*	some more nand	David Monniaux	2019-03-16	1	-0/+3
\|
*	32-bit rotate finished	David Monniaux	2019-03-16	1	-0/+10
\|
*	le Makefile passe	David Monniaux	2019-03-14	1	-2/+11
\|
*	test for memcpy builtin	David Monniaux	2019-03-13	1	-0/+15
\|
*	with timing	David Monniaux	2019-03-13	2	-2/+7
\|
*	-fpostpass-ilp	David Monniaux	2019-03-12	2	-9/+2
\|
*	better tracing for ILP + make clean	David Monniaux	2019-03-12	1	-0/+5
\|