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

	Commit message (Collapse)	Author	Age	Files	Lines
*	division	David Monniaux	2021-06-07	1	-1/+1
\|
*	kvx-cos-gcc	David Monniaux	2020-07-08	1	-1/+1
\|
*	k1c -> kvx changes	David Monniaux	2020-05-26	1	-5/+5
\|
*	otherwise timings disabled on arm (ccomp should call preprocessor with ↵	David Monniaux	2020-04-12	1	-1/+1
\| \| \| \|	appropriate options)
*	profiling still crashes on Aarch64	David Monniaux	2020-04-10	1	-2/+2
\|
*	various fixes for aarch64 profiling	David Monniaux	2020-04-10	1	-1/+13
\|
*	more portable cycles.h	David Monniaux	2020-03-09	1	-8/+28
\|
*	cycles for aarch64	David Monniaux	2020-03-09	1	-0/+16
\|
*	cycles.h for ARMv7	David Monniaux	2020-03-09	1	-0/+7
\|
*	Minor fix for the measurements macros	Cyril SIX	2019-07-24	1	-1/+1
\|
*	(#143) More features	Cyril SIX	2019-07-12	1	-4/+5
\|
*	(#143) Rajout de la macro TIMEINIT	Cyril SIX	2019-07-12	1	-0/+1
\|
*	(#143) Mesure de cycles sur sandbox	Cyril SIX	2019-07-12	1	-0/+11
\|
*	for RiscV	David Monniaux	2019-06-18	1	-0/+8
\|
*	use all same exact include filesv3.5_k1c_1.2	David Monniaux	2019-06-03	1	-11/+8
\|
*	adaptation pour k1c-cos	David Monniaux	2019-05-28	1	-0/+6
\|
*	remove cruft dealing with __int128 and __thread	David Monniaux	2019-01-30	1	-1/+1
\|
*	micro bunzip	David Monniaux	2019-01-26	1	-3/+3
\|
*	quicksort	David Monniaux	2019-01-19	1	-0/+26