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

	Commit message (Expand)	Author	Age	Files	Lines
*	[BROKEN] Merge with v3.9 : something broken for __builtin_expect in cfrontend...	Cyril SIX	2021-06-01	1	-4/+8
*	Remove the cparser/Builtins module	Xavier Leroy	2019-07-17	1	-1/+1
*	Reset scope ids later.	Bernhard Schommer	2019-04-16	1	-1/+1
*	Various improvements in the wording of diagnostics.	Michael Schmidt	2018-08-02	1	-1/+1
*	Refactor the handling of errors and warnings (#44)	Bernhard Schommer	2018-02-08	1	-2/+1
*	Added handling if s.sloc <> s1.sloc	Bernhard Schommer	2017-03-24	1	-2/+6
*	Emit line stmt after labels in general. Bug 21232	Bernhard Schommer	2017-03-24	1	-10/+6
*	Do not emit line info before case stmt.	Bernhard Schommer	2017-03-24	1	-4/+9
*	Classified all warnings and added various options.	Bernhard Schommer	2016-07-29	1	-1/+1
*	Deactivate warning 27 and added back removed code.	Bernhard Schommer	2016-03-15	1	-4/+4
*	Code cleanup.	Bernhard Schommer	2016-03-10	1	-19/+8
*	Handle large static initializers for global arrays	Xavier Leroy	2015-11-09	1	-1/+1
*	Updated PR by removing whitespaces. Bug 17450.	Bernhard Schommer	2015-10-20	1	-10/+10
*	Added support for printing local variables and fixed issue with .text	Bernhard Schommer	2015-09-23	1	-0/+1
*	Merge branch 'debugscopes' into debug_locations	Bernhard Schommer	2015-09-23	1	-33/+37
\|\
\| *	Continuing experiment: track the scopes of local variables via __builtin_debug	Xavier Leroy	2015-09-21	1	-34/+28
* \|	Record the scope structure during unblocking.	Bernhard Schommer	2015-09-22	1	-9/+11
\|/
*	Experiment: track the scopes of local variables via __builtin_debug.	Xavier Leroy	2015-09-20	1	-32/+132
*	Extended inline asm: handle missing cases.	Xavier Leroy	2015-04-28	1	-1/+7
*	ABI compatibility for struct/union function arguments passed by value.	Xavier Leroy	2015-01-27	1	-1/+1
*	PR#10 continued: disambiguate record to avoid OCaml warning	Xavier Leroy	2014-12-30	1	-1/+1
*	PR#10: composite definitions must be maintained in the environment.	Xavier Leroy	2014-12-30	1	-6/+15
*	Support C99 compound literals (by expansion in Unblock pass).	xleroy	2014-08-21	1	-26/+175
*	C: Support array initializers that are too short + default init for remainder.	xleroy	2014-03-28	1	-10/+14
*	Support for inline assembly (asm statements).	xleroy	2012-12-18	1	-0/+1
*	checklink: first import of Valentin Robert's validator for asm and link	xleroy	2012-03-28	1	-1/+1
*	Switching to the new C parser/elaborator/simplifier	xleroy	2010-03-03	1	-0/+133