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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Added definition of PLoadRRR and PStoreRRR - no Asmblockgen generation yet	Cyril SIX	2019-04-02	1	-22/+22
\|
*	rm tests inherited from Risc-V	David Monniaux	2019-03-20	1	-30/+5
\|
*	Psemi manquant dans l'expansion de Pallocframe	Cyril SIX	2019-03-19	1	-0/+2
\|
*	The parent frame pointer is now R17 instead of R14	Cyril SIX	2019-03-18	1	-10/+5
\|
*	Fix for frame pointer being destroyed	Cyril SIX	2019-03-12	1	-5/+10
\|
*	volatile stores	David Monniaux	2019-03-10	1	-43/+40
\|
*	volatile load	David Monniaux	2019-03-10	1	-37/+37
\|
*	Remove unnecessary and error prone FR constructor for pregs	Cyril SIX	2019-02-20	1	-1/+0
\|
*	implemented builtin memcpy	David Monniaux	2019-02-01	1	-95/+50
\|
*	give meaningful messages please	David Monniaux	2019-01-27	1	-2/+12
\|
*	Added sxwd and zxwd support	Cyril SIX	2019-01-22	1	-4/+0
\|
*	Ommited a ;; in va_arg_start macro	Cyril SIX	2019-01-17	1	-0/+1
\|
*	Corrected a bug in Pallocframe expansion with va_args	Cyril SIX	2019-01-17	1	-3/+6
\|
*	Added a simple postpass oracle that splits a bblock into single instruction ↵	Cyril SIX	2018-12-17	1	-0/+2
\| \| \| \|	bundles
*	Finished implementation of va_arg + testing done	Cyril SIX	2018-11-30	1	-4/+8
\|
*	Wrote some tests on va_arg, need to implement __compcert_va_int32 & cie	Cyril SIX	2018-11-28	1	-5/+4
\|
*	mppa_k1c compiles	Cyril SIX	2018-11-28	1	-3/+2
\|
*	Changed ABI to match GCC - interoperability not tested yet	Cyril SIX	2018-11-23	1	-4/+4
\|
*	Mise à jour vis à vis de CompCert 3.4	Cyril SIX	2018-11-21	1	-5/+2
\|
*	Fixed BaR mentions in the ML files	Cyril SIX	2018-09-28	1	-7/+4
\|
*	Rebase avec le commit qui fixe les tests + librairies	Cyril SIX	2018-09-06	1	-6/+6
\|
*	Asmblock & cie - ça compile	Cyril SIX	2018-09-06	1	-18/+22
\|
*	Extraction issue	Cyril SIX	2018-09-06	1	-2/+2
\|
*	MPPA - Added Builtins support. Starting with clzll and stsud	Cyril SIX	2018-06-05	1	-60/+5
\|
*	WIP - Trying to add builtins support. They are not detected for now :(	Cyril SIX	2018-05-30	1	-4/+4
\|
*	MPPA - refactored instructions	Cyril SIX	2018-05-11	1	-6/+6
\|
*	MPPA - FIX GPR10 is now the Frame Pointer in Asmexpand.ml (instead of GPR32)	Cyril SIX	2018-04-26	1	-3/+3
\|
*	MPPA - Ocast32signed	Cyril SIX	2018-04-11	1	-2/+3
\|
*	MPPA - bunch of ops added : lowlong, and, or, shr..	Cyril SIX	2018-04-10	1	-2/+2
\|
*	MPPA - code cleaning	Cyril SIX	2018-04-04	1	-1/+1
\|
*	MPPA - The project compiles.	Cyril SIX	2018-04-04	1	-73/+85
\| \| \| \| \| \| \| \| \| \| \| \| \|	Supports very simple programs that load integer immediates. It starts the main, loads integer in registers, and return correctly. Addition in Mach not yet supported, but should not be hard to add them. Function calls are not yet supported. The ABI for now is the same as the RiscV, with a small twist: $ra is first loaded in a user register, then this user register is pushed (instead of pushing $ra straight away).
*	Hook for MPPA_K1c (generates Risc-V code for now)	Cyril SIX	2018-04-04	1	-0/+619