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	477	log stats plain
-rw-r--r--	clock.h	199	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---------	glibc_qsort	162	log stats plain
d---------	heapsort	323	log stats plain
d---------	idea	104	log stats plain
d---------	jpeg-6b	5639	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---------	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	895	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---------	xor_and_mat	151	log stats plain