compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Use the LGPL instead of the GPL for dual-licensed files	Xavier Leroy	2021-05-08	1	-4/+5
*	Section handling: finer control of variable initialization	Xavier Leroy	2021-02-23	1	-20/+44
*	Explicit error messages for ill-formed section attributes (#232)	Bernhard Schommer	2020-03-29	1	-8/+21
*	New support for inserting ais-annotations.	Bernhard Schommer	2017-10-19	1	-0/+1
*	Revised elaboration of attributes	Xavier Leroy	2017-01-31	1	-2/+1
*	Code cleanup.	Bernhard Schommer	2016-03-10	1	-2/+0
*	Implemented the usage of DW_AT_ranges for non-contiguous address ranges.	Bernhard Schommer	2015-10-16	1	-0/+1
*	bug 17392: remove trailing whitespace in source files	Michael Schmidt	2015-10-14	1	-3/+3
*	Changed the type of the debug sections with additional string.	Bernhard Schommer	2015-10-13	1	-2/+2
*	Implement the usage of the debug_str section for the gcc backend.	Bernhard Schommer	2015-10-13	1	-1/+2
*	Filled in the rest of the funciton needed for thte debug info under arm.	Bernhard Schommer	2015-10-09	1	-0/+1
*	Change the way the debug sections are printed.	Bernhard Schommer	2015-09-28	1	-1/+1
*	Added support for the locations of stack allocated local variables.	Bernhard Schommer	2015-09-25	1	-0/+1
*	Started integrating the debug printing in the common backend_printer.	Bernhard Schommer	2015-03-11	1	-1/+1
*	Starting to remove the seperate printers for each backend.	Bernhard Schommer	2015-02-02	1	-0/+2
*	Clean up support for common symbols. Uninitialized "const" symbols can be co...	Xavier Leroy	2014-12-17	1	-6/+6
*	powerpc/: new unary operation "addsymbol"	xleroy	2013-11-17	1	-16/+21
*	checklink: first import of Valentin Robert's validator for asm and link	xleroy	2012-03-28	1	-1/+0
*	Simplified and cleaned up the passing of information from C2C to PrintAsm, as...	xleroy	2012-02-22	1	-101/+80
*	Preliminary support for 'aligned' and 'section' attributes, gcc-style. New-s...	xleroy	2011-04-16	1	-11/+42
*	Cleaned up handling of linker sections.	xleroy	2010-05-08	1	-0/+211