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

	Commit message (Expand)	Author	Age	Files	Lines
*	more on cmove	David Monniaux	2019-03-25	1	-1/+1
*	Merge branch 'mppa-madd' into mppa_postpass	David Monniaux	2019-03-20	1	-1/+1
\|\
\| *	maddl / maddlim are synthesized (but not for pointers it seems)	David Monniaux	2019-03-20	1	-1/+1
* \|	Merge branch 'mppa-madd' into mppa_postpass	David Monniaux	2019-03-19	1	-1/+1
\|\\|
\| *	specify instructions that write to first operand (madd)	David Monniaux	2019-03-19	1	-1/+1
* \|	The parent frame pointer is now R17 instead of R14	Cyril SIX	2019-03-18	1	-6/+6
\|/
*	comment	David Monniaux	2019-02-02	1	-0/+1
*	implemented builtin memcpy	David Monniaux	2019-02-01	1	-1/+1
*	Changed ABI to match GCC - interoperability not tested yet	Cyril SIX	2018-11-23	1	-17/+16
*	MPPA - Added modulo and division 64 bits. Non certified	Cyril SIX	2018-05-21	1	-4/+4
*	MPPA - Oshrximm + Mgetparam + FP is GPR10 + bug	Cyril SIX	2018-04-20	1	-4/+6
*	MPPA - code cleaning	Cyril SIX	2018-04-04	1	-17/+18
*	MPPA - ABI proof complete (Asmgenproof.v:step_simulation)	Cyril SIX	2018-04-04	1	-2/+1
*	MPPA - Preuve de make_epilogue correct.	Cyril SIX	2018-04-04	1	-5/+5
*	MPPA - Started Asm.v + Asmgen.v, commenting out some instructions	Cyril SIX	2018-04-04	1	-4/+5
*	MPPA - Machregs + Conventions1 + backend proof tweaking	Cyril SIX	2018-04-04	1	-86/+59
*	Hook for MPPA_K1c (generates Risc-V code for now)	Cyril SIX	2018-04-04	1	-0/+253