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

	Commit message (Collapse)	Author	Age	Files	Lines
*	use all same exact include filesv3.5_k1c_1.2	David Monniaux	2019-06-03	1	-15/+7
\|
*	added some include files	David Monniaux	2019-05-29	1	-0/+1
\|
*	fixes for COS	David Monniaux	2019-05-28	1	-0/+10
\|
*	directly call float and double division from gcc lib instead of a stub	David Monniaux	2019-05-15	1	-42/+0
\|
*	32-bit modulo now uses sign extend then call to the 64-bit function	David Monniaux	2019-05-13	1	-23/+0
\|
*	we directly call 64-bit unsigned division	David Monniaux	2019-05-13	1	-22/+0
\|
*	feclearexcept / fetestexcept	David Monniaux	2019-04-13	1	-0/+15
\|
*	simplification of the varargs procedure: they are leaf procedures, there is ↵	David Monniaux	2019-04-12	1	-40/+1
\| \| \| \|	no need to save $ra
*	__builtin_k1_acswapw	David Monniaux	2019-04-11	1	-0/+7
\|
*	builtin acswapd	David Monniaux	2019-04-11	1	-1/+10
\|
*	passage de structures en varargs (fonctionne avec une convention "passage ↵	David Monniaux	2019-03-22	1	-0/+3
\| \| \| \|	par référence" cohérente avec CompCert mais pas forcément avec gcc)
*	la division flottante fonctionne	David Monniaux	2019-03-20	2	-1/+12
\|
*	les divisions entieres passent	David Monniaux	2019-03-20	3	-0/+43
\|
*	sdiv works	David Monniaux	2019-03-20	2	-1/+15
\|
*	varargs	David Monniaux	2019-03-10	1	-0/+2
\|
*	Fixed div64 and mod64	Cyril SIX	2018-12-11	2	-31/+1
\|
*	Finished implementation of va_arg + testing done	Cyril SIX	2018-11-30	1	-0/+72
\|
*	Fixed MPPA runtimes not compiling	Cyril SIX	2018-11-20	1	-2/+7
\|
*	MPPA - Changed division to include the builtin	Cyril SIX	2018-06-05	1	-23/+2
\|
*	MPPA - div and mod, replaced gcc implementation by C files + ccomp	Cyril SIX	2018-05-21	13	-460/+29
\|
*	MPPA - Added modulo and division 64 bits. Non certified	Cyril SIX	2018-05-21	13	-0/+590
	32 bits version are not yet there. Right now the code is directly from libgcc, compiled with k1-gcc because of builtins.