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

	Commit message (Collapse)	Author	Age	Files	Lines
*	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!
*	IT WORKS !!	David Monniaux	2019-02-01	2	-11/+136
\| \| \| \|	(except that files that ref to stdin/stdout/stderr need to be compiled with gcc)
*	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 ↵	David Monniaux	2019-01-30	1	-1/+1
\| \| \| \|	bytes like in gcc)
*	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