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

Mode	Name	Size
d---------	BearSSL	448	log stats plain
d---------	bitsliced-aes	417	log stats plain
d---------	bitsliced-tea	226	log stats plain
-rw-r--r--	clock.c	536	log stats plain
-rw-r--r--	clock.h	232	log stats plain
d---------	complex	77	log stats plain
d---------	crypto-algorithms	1170	log stats plain
-rw-r--r--	cycles.h	637	log stats plain
d---------	des	33	log stats plain
d---------	fill_buffer	41	log stats plain
d---------	float_mat	157	log stats plain
d---------	frame_pointer	98	log stats plain
d---------	glibc_qsort	203	log stats plain
d---------	heapsort	323	log stats plain
d---------	idea	104	log stats plain
d---------	jpeg-6b	5639	log stats plain
d---------	jumptable	39	log stats plain
d---------	latency	79	log stats plain
d---------	loop	41	log stats plain
d---------	mbedtls	132	log stats plain
d---------	micro-bunzip	115	log stats plain
d---------	mod_int_mat	150	log stats plain
d---------	multithreaded_volatile	74	log stats plain
d---------	ncompress	190	log stats plain
d---------	number_theoretic_transform	69	log stats plain
d---------	picosat-965	678	log stats plain
d---------	quicksort	270	log stats plain
d---------	regalloc	163	log stats plain
-rw-r--r--	rules.mk	1158	log stats plain
d---------	send_through	172	log stats plain
d---------	sha-2	223	log stats plain
d---------	sizeof	36	log stats plain
d---------	tiny-AES-c	289	log stats plain
d---------	uzlib	273	log stats plain
d---------	varargs	73	log stats plain
d---------	volatile	43	log stats plain
d---------	xor_and_mat	151	log stats plain