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	-0/+3
*	Removed struct passing/return from Configurations	Bernhard Schommer	2018-02-16	1	-21/+0
*	New support for inserting ais-annotations.	Bernhard Schommer	2017-10-19	1	-0/+3
*	Introduced configuration variable for gnu systems.	Bernhard Schommer	2017-02-13	1	-0/+3
*	fix merge conflicts	Michael Schmidt	2016-08-17	1	-0/+8
\|\
\| *	Added support for quoting for diab backend.	Bernhard Schommer	2016-07-21	1	-0/+1
\| *	Added simplified reader and printer for gnu @files	Bernhard Schommer	2016-07-20	1	-0/+7
* \|	Implement support for big endian arm targets.	Bernhard Schommer	2016-08-05	1	-0/+3
\|/
*	Activate advanced debug information for arm, ia32.	Bernhard Schommer	2016-06-28	1	-3/+0
*	Code cleanup.	Bernhard Schommer	2016-03-10	1	-0/+11
*	Updated PR by removing whitespaces. Bug 17450.	Bernhard Schommer	2015-10-20	1	-1/+1
*	Removed the version from the compcert.ini file and add it again in a separate...	Bernhard Schommer	2015-07-01	1	-2/+0
*	Provide and use compiler-dependent standard headers.	Xavier Leroy	2015-04-25	1	-0/+2
*	Merge branch 'master' into dwarf	Bernhard Schommer	2015-03-31	1	-0/+2
*	Improvements in the StructReturn transformation (ABI conformance for passing ...	Xavier Leroy	2015-03-20	1	-0/+55