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

Mode	Name	Size
-rw-r--r--	.gitignore	699	log stats plain
-rw-r--r--	Asmblockdeps.patch	778	log stats plain
d---------	BearSSL	448	log stats plain
-rw-r--r--	Makefile	1032	log stats plain
-rw-r--r--	PostpassSchedulingOracle.patch	1147	log stats plain
-rw-r--r--	README.md	1024	log stats plain
d---------	acswap	80	log stats plain
-rw-r--r--	benches.sh	382	log stats plain
d---------	binary_search	536	log stats plain
d---------	bitfields	83	log stats plain
d---------	bitsliced-aes	543	log stats plain
d---------	bitsliced-tea	261	log stats plain
-rwxr-xr-x	build_benches.sh	332	log stats plain
-rwxr-xr-x	clean_benches.sh	108	log stats plain
-rwxr-xr-x	clean_csv.sh	113	log stats plain
-rw-r--r--	clock.c	536	log stats plain
-rw-r--r--	clock.h	232	log stats plain
d---------	complex	79	log stats plain
d---------	crypto-algorithms	1170	log stats plain
d---------	csmith	36	log stats plain
-rw-r--r--	cycles.h	801	log stats plain
d---------	des	33	log stats plain
d---------	division	37	log stats plain
-rw-r--r--	dm_random.c	192	log stats plain
d---------	fill_buffer	41	log stats plain
d---------	float_mat	159	log stats plain
d---------	frame_pointer	98	log stats plain
d---------	genann	189	log stats plain
-rwxr-xr-x	gencompile.py	1174	log stats plain
-rwxr-xr-x	generate_makefiles.sh	123	log stats plain
-rwxr-xr-x	gengraphs.py	3259	log stats plain
-rwxr-xr-x	genmake.py	4717	log stats plain
d---------	glibc_qsort	205	log stats plain
d---------	glpk-4.65	137	log stats plain
d---------	heapsort	325	log stats plain
d---------	heptagon_radio_transmitter	536	log stats plain
d---------	idea	106	log stats plain
d---------	jpeg-6b	5680	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---------	lustrev4_lustrec_heater_control	260	log stats plain
d---------	lustrev4_lv4_heater_control	221	log stats plain
d---------	lustrev4_lv6-en-2cgc_heater_control	394	log stats plain
d---------	lustrev6-carlightV2	280	log stats plain
d---------	lustrev6-convertible-2cgc	271	log stats plain
d---------	lustrev6-convertible-en-2cgc	309	log stats plain
d---------	lustrev6-convertible	271	log stats plain
d---------	madd	72	log stats plain
d---------	math	120	log stats plain
d---------	mbedtls	132	log stats plain
d---------	memcpy	41	log stats plain
d---------	micro-bunzip	115	log stats plain
d---------	minisat	320	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	71	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	272	log stats plain
d---------	regalloc	201	log stats plain
d---------	rotate	36	log stats plain
-rw-r--r--	rules.mk	1601	log stats plain
-rwxr-xr-x	run_benches.sh	421	log stats plain
d---------	send_through	172	log stats plain
d---------	sha-2	225	log stats plain
d---------	sizeof	36	log stats plain
d---------	slow_globals	85	log stats plain
d---------	tacle-bench-lift	316	log stats plain
d---------	tacle-bench-powerwindow	792	log stats plain
d---------	ternary	75	log stats plain
d---------	ternary_builtin	45	log stats plain
d---------	tiff-4.0.10	2353	log stats plain
d---------	tiny-AES-c	289	log stats plain
d---------	too_slow	93	log stats plain
d---------	uzlib	273	log stats plain
d---------	varargs	73	log stats plain
-rwxr-xr-x	vocabulary.sh	192	log stats plain
d---------	volatile	86	log stats plain
d---------	xor_and_mat	153	log stats plain
d---------	yarpgen	36	log stats plain
d---------	zlib-1.2.11	1057	log stats plain