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

Mode	Name	Size
-rw-r--r--	.gitignore	176	log stats plain
-rw-r--r--	Asmblockdeps.patch	778	log stats plain
d---------	BearSSL	448	log stats plain
-rw-r--r--	Makefile	1273	log stats plain
-rw-r--r--	PostpassSchedulingOracle.patch	1128	log stats plain
-rw-r--r--	README.md	5151	log stats plain
d---------	acswap	80	log stats plain
-rw-r--r--	benches.sh	459	log stats plain
d---------	binary_search	79	log stats plain
d---------	bitfields	83	log stats plain
d---------	bitsliced-aes	489	log stats plain
d---------	bitsliced-tea	259	log stats plain
-rwxr-xr-x	build_benches.sh	554	log stats plain
d---------	builtins	33	log stats plain
-rwxr-xr-x	clean_benches.sh	190	log stats plain
-rwxr-xr-x	clean_csv.sh	113	log stats plain
-rw-r--r--	clock.c	564	log stats plain
-rw-r--r--	clock.h	232	log stats plain
d---------	cmov	69	log stats plain
d---------	codegen	35	log stats plain
d---------	complex	77	log stats plain
d---------	crypto-algorithms	1170	log stats plain
d---------	cse2	205	log stats plain
d---------	csmith	109	log stats plain
-rw-r--r--	cycles.h	2468	log stats plain
d---------	des	33	log stats plain
d---------	division	157	log stats plain
-rw-r--r--	dm_random.c	192	log stats plain
d---------	expect	36	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---------	genann	187	log stats plain
d---------	glibc_qsort	203	log stats plain
d---------	glpk-4.65	137	log stats plain
d---------	heapsort	323	log stats plain
d---------	heptagon_radio_transmitter	534	log stats plain
d---------	idea	104	log stats plain
d---------	if	33	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	42	log stats plain
d---------	licm	34	log stats plain
d---------	longjmp	37	log stats plain
d---------	loop	41	log stats plain
d---------	loop_nest	107	log stats plain
d---------	lustrev4_lustrec_heater_control	258	log stats plain
d---------	lustrev4_lv4_heater_control	257	log stats plain
d---------	lustrev4_lv6-en-2cgc_heater_control	392	log stats plain
d---------	lustrev6-carlightV2	280	log stats plain
d---------	lustrev6-convertible-2cgc	271	log stats plain
d---------	lustrev6-convertible-en-2cgc	307	log stats plain
d---------	lustrev6-convertible	271	log stats plain
d---------	madd	72	log stats plain
d---------	many_temporaries	91	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	526	log stats plain
d---------	mod_int_mat	150	log stats plain
d---------	moves	35	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	1671	log stats plain
d---------	picosat-965	722	log stats plain
d---------	predicated	44	log stats plain
d---------	profiling	180	log stats plain
d---------	quest	36	log stats plain
d---------	quicksort	270	log stats plain
d---------	reduced_picosat	155	log stats plain
d---------	regalloc	201	log stats plain
d---------	rotate	36	log stats plain
-rw-r--r--	rules.mk	4076	log stats plain
-rwxr-xr-x	run_benches.sh	566	log stats plain
d---------	sandbox	250	log stats plain
d---------	scheduling	42	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
d---------	ternary	75	log stats plain
d---------	ternary_builtin	45	log stats plain
d---------	thread_local	85	log stats plain
d---------	tiff-4.0.10	2395	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
-rwxr-xr-x	vocabulary.sh	192	log stats plain
d---------	volatile	86	log stats plain
d---------	xor_and_mat	151	log stats plain
d---------	yarpgen	76	log stats plain
d---------	zlib-1.2.11	1099	log stats plain