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	-1/+1
\|
*	bitsliced-tea	Cyril SIX	2019-07-17	2	-4/+3
\|
*	remove old "ternary" stuff	David Monniaux	2019-06-04	1	-10/+1
\|
*	adaptation pour k1c-cos	David Monniaux	2019-05-28	1	-1/+1
\|
*	Adding more measures	Cyril SIX	2019-05-17	1	-1/+1
\|
*	Measures for bitslices-aes, bitsliced-tea and complex_mat	Cyril SIX	2019-05-15	1	-0/+2
\|
*	Avancement sur la génération de Makefile des benchmarks	Cyril SIX	2019-05-14	2	-27/+2
\|
*	Changes to include a -O1 -fschedule-insns2 gcc run as well	Cyril SIX	2019-04-26	1	-1/+4
\|
*	ternary op version of bitsliced TEA	David Monniaux	2019-04-05	1	-4/+9
\|
*	removed the unproved hack to get builtins, will be reinstated later	David Monniaux	2019-04-05	1	-1/+1
\|
*	ternary ops in AES and TEA	David Monniaux	2019-04-03	2	-11/+3
\|
*	script for creduce	David Monniaux	2019-03-29	1	-0/+20
\|
*	bitsliced-tea slightly more efficient with ternaries at some places	David Monniaux	2019-03-29	2	-4/+18
\|
*	simplification des Makefile	David Monniaux	2019-02-05	1	-31/+1
\|
*	comparisons all around	David Monniaux	2019-02-05	1	-4/+18
\|
*	remove cruft dealing with __int128 and __thread	David Monniaux	2019-01-30	1	-1/+1
\|
*	same format as the others	David Monniaux	2019-01-30	2	-10/+44
\|
*	bitsliced TEA from archived ↵	David Monniaux	2019-01-30	6	-0/+663
	http://plaintext.crypto.lo.gy/article/378/untwisted-bit-sliced-tea-time