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

	Commit message (Expand)	Author	Age	Files	Lines
*	"macosx" is now called "macos"	Xavier Leroy	2021-01-18	1	-2/+2
*	AArch64: macOS port	Xavier Leroy	2020-12-26	1	-0/+3
*	AArch64 port	Xavier Leroy	2019-08-08	1	-0/+5
*	Add sizeof_reg and new Machine configurations (#129)	Bernhard Schommer	2018-08-20	1	-0/+14
*	Struct return on OpenBSD now tested	Michael Schmidt	2018-02-19	1	-1/+1
*	Move struct passing/return style to Machine.	Bernhard Schommer	2018-02-16	1	-13/+54
*	Issue P #25: make sure sizeof(long double) = sizeof(double) in all contexts.	Xavier Leroy	2017-08-22	1	-10/+9
*	RISC-V port and assorted changes	Xavier Leroy	2017-04-28	1	-0/+5
*	Implement support for big endian arm targets.	Bernhard Schommer	2016-08-05	1	-1/+4
*	Diab defines w_char to be unsigned short.	Bernhard Schommer	2015-07-07	1	-0/+4
*	Improvements in the StructReturn transformation (ABI conformance for passing ...	Xavier Leroy	2015-03-20	1	-36/+10
*	Improve performance and configurability for the StructReturn pass.	Xavier Leroy	2015-03-14	1	-0/+3
*	ABI compatibility for struct/union function arguments passed by value.	Xavier Leroy	2015-01-27	1	-8/+43
*	Delay reads from !Machine.config before it is properly initialized.	Xavier Leroy	2015-01-22	1	-6/+36
*	PR#6: fix handling of wchar_t and assignments from wide string literals.	Xavier Leroy	2014-12-30	1	-3/+11
*	- Back to origins: suppress Mfloat64al32 chunk and align Mfloat64 to 4.	xleroy	2014-01-12	1	-1/+4
*	Hack StructReturn to better adhere to PowerPC and ARM calling conventions.	xleroy	2013-12-20	1	-9/+18
*	Revert suppression of __builtin_{read,write}_reversed for x86 and ARM,	xleroy	2013-04-29	1	-5/+13
*	cparser/*: refactoring of the expansion of read-modify-write operators	xleroy	2011-11-26	1	-1/+5
*	Bitfields: MSB-to-LSB in addition to LSB-to-MSB	xleroy	2011-03-10	1	-5/+19
*	Switching to the new C parser/elaborator/simplifier	xleroy	2010-03-03	1	-0/+136