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

	Commit message (Expand)	Author	Age	Files	Lines
*	Adding distinction between kvx-cos and kvx-mbr (for trapping loads)	Cyril SIX	2021-04-13	1	-1/+4
*	Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8	David Monniaux	2020-11-18	1	-0/+1
\|\
\| *	Move reserved_registers to CPragmas.	Bernhard Schommer	2020-04-20	1	-0/+1
* \|	k1c -> kvx changes	David Monniaux	2020-05-26	1	-1/+1
* \|	Merge tag 'v3.6' of https://github.com/AbsInt/CompCert into mppa-work-upstrea...	David Monniaux	2019-09-20	1	-0/+1
\|\\|
\| *	AArch64 port	Xavier Leroy	2019-08-08	1	-0/+1
* \|	Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...	David Monniaux	2019-07-19	1	-1/+1
\|\\|
\| *	Remove the cparser/Builtins module	Xavier Leroy	2019-07-17	1	-1/+1
* \|	Merge branch 'if-conversion' of https://github.com/AbsInt/CompCert into mppa-...	David Monniaux	2019-06-03	1	-4/+26
\|\\|
\| *	Fix misspellings in messages, man pages, and comments	Xavier Leroy	2019-05-31	1	-2/+2
\| *	Define macros with CompCert's version number (#284)	Xavier Leroy	2019-03-27	1	-2/+24
* \|	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