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

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge tag 'v3.4' into mppa_k1c	Cyril SIX	2018-11-21	1	-6/+17
\|\
\| *	Add sizeof_reg and new Machine configurations (#129)	Bernhard Schommer	2018-08-20	1	-4/+6
\| *	Typo in -iquote preprocessing option (#239)	Frédéric Besson	2018-06-20	1	-1/+1
\| *	Define C11 conditional feature macros (#77)	Bernhard Schommer	2018-04-06	1	-1/+10
* \|	Hook for MPPA_K1c (generates Risc-V code for now)	Cyril SIX	2018-04-04	1	-0/+1
\|/
*	Move struct passing/return style to Machine.	Bernhard Schommer	2018-02-16	1	-1/+5
*	Refactor the handling of errors and warnings (#44)	Bernhard Schommer	2018-02-08	1	-12/+3
*	Move machine initialization to Frontend.init function. (#49)	Bernhard Schommer	2018-01-11	1	-0/+25
*	Handle dcompcertc and dparsedc like all dump opts.	Bernhard Schommer	2018-01-04	1	-12/+2
*	Introduced configuration variable for gnu systems.	Bernhard Schommer	2017-02-13	1	-2/+2
*	Use quoted strings.	Bernhard Schommer	2017-01-18	1	-32/+34
*	Moved assembler and linker into own files.	Bernhard Schommer	2016-06-24	1	-2/+2
*	Deactivate options target dependend.	Bernhard Schommer	2016-06-24	1	-48/+49
*	Moved shared frontend code in own file.	Bernhard Schommer	2016-05-24	1	-0/+163