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

	Commit message (Expand)	Author	Age	Files	Lines
*	k1c -> kvx changes	David Monniaux	2020-05-26	1	-16/+16
*	Adding jpeg-6b benchmark	Cyril SIX	2019-11-15	1	-31/+48
*	mistake in Makefile	David Monniaux	2019-06-19	1	-1/+1
*	timings	David Monniaux	2019-06-06	1	-1/+16
*	print clock info	David Monniaux	2019-06-06	2	-0/+27
*	compiles and links	David Monniaux	2019-06-06	1	-1/+9
*	for compiling cjpeg/djpeg	David Monniaux	2019-06-06	2	-308/+328
*	Changes to include a -O1 -fschedule-insns2 gcc run as well	Cyril SIX	2019-04-26	2	-271/+236
*	use the original source codes	David Monniaux	2019-03-20	30	-5528/+5235
*	vire des scories INT_DIV et INT_MOD	David Monniaux	2019-03-20	1	-1/+1
*	disable useless warnings	David Monniaux	2019-03-08	1	-1/+1
*	HAS_FLOAT (constantes)	David Monniaux	2019-02-13	1	-0/+1
*	removed 'KILL_TAIL_CALL()', no longer needed	David Monniaux	2019-02-08	25	-39/+0
*	Disable the generation of jump tables until issues are fixed	David Monniaux	2019-02-02	1	-1/+1
*	fixes in types etc.	David Monniaux	2019-02-02	1	-2/+7
*	ugly hack to access _impure_thread_data (stdin, stdout, stderr...)	David Monniaux	2019-02-01	4	-40/+56
*	IT WORKS !!	David Monniaux	2019-02-01	2	-11/+136
*	removed some switches	David Monniaux	2019-02-01	2	-1/+104
*	fix various divisions, tail calls etc.	David Monniaux	2019-02-01	24	-5190/+5231
*	it still seems to work	David Monniaux	2019-02-01	8	-43/+59
*	block tail calls etc.	David Monniaux	2019-02-01	45	-7618/+384
*	remove cruft	David Monniaux	2019-01-30	1	-1/+1
*	remove cruft dealing with __int128 and __thread	David Monniaux	2019-01-30	2	-258/+0
*	remove preprocessor directives about SIZE_TYPE, now useless (long is now 8 by...	David Monniaux	2019-01-30	1	-1/+1
*	remove workaround	David Monniaux	2019-01-30	1	-4/+0
*	muf muf muf	David Monniaux	2019-01-29	7	-15/+21
*	jpeg-6b modified	David Monniaux	2019-01-29	157	-0/+63909