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

Mode	Name	Size
d---------	BearSSL	448	log stats plain
d---------	acswap	80	log stats plain
d---------	binary_search	534	log stats plain
d---------	bitsliced-aes	541	log stats plain
d---------	bitsliced-tea	259	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
d---------	csmith	36	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---------	k1_builtins	203	log stats plain
-rw-r--r--	kill_pragma.h	19	log stats plain
d---------	latency	79	log stats plain
d---------	longjmp	37	log stats plain
d---------	loop	41	log stats plain
d---------	madd	72	log stats plain
d---------	mbedtls	132	log stats plain
d---------	memcpy	41	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---------	nand	34	log stats plain
d---------	ncompress	190	log stats plain
d---------	number_theoretic_transform	69	log stats plain
d---------	ocaml	248	log stats plain
d---------	pcre2-10.32	1714	log stats plain
d---------	picosat-965	615	log stats plain
d---------	predicated	84	log stats plain
d---------	quest	36	log stats plain
d---------	quicksort	270	log stats plain
d---------	regalloc	163	log stats plain
d---------	rotate	36	log stats plain
-rw-r--r--	rules.mk	1374	log stats plain
d---------	send_through	172	log stats plain
d---------	sha-2	223	log stats plain
d---------	sizeof	36	log stats plain
d---------	slow_globals	85	log stats plain
d---------	tacle-bench-lift	314	log stats plain
d---------	tacle-bench-powerwindow	790	log stats plain
-rw-r--r--	ternary.h	770	log stats plain
d---------	ternary	73	log stats plain
d---------	ternary_builtin	45	log stats plain
d---------	tiny-AES-c	289	log stats plain
d---------	too_slow	91	log stats plain
d---------	uzlib	273	log stats plain
d---------	varargs	73	log stats plain
d---------	volatile	86	log stats plain
d---------	xor_and_mat	151	log stats plain
d---------	yarpgen	36	log stats plain