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

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge branch 'elaboration-of-attributes'	Xavier Leroy	2017-02-06	6	-42/+129
\|\
\| *	Preliminary support for the "noreturn" attribute	Xavier Leroy	2017-02-06	1	-11/+15
\| *	Refactor the classification of attributes	Xavier Leroy	2017-02-03	5	-23/+87
\| *	Use C99 syntax to print attributes over array types	Xavier Leroy	2017-02-01	1	-4/+5
\| *	Regression: type attributes and array modifiers	Xavier Leroy	2017-02-01	1	-2/+4
\| *	Revised elaboration of attributes	Xavier Leroy	2017-01-31	4	-17/+34
* \|	Removed shadowing open	Bernhard Schommer	2017-02-06	1	-5/+5
* \|	Remove shadowing open	Bernhard Schommer	2017-02-06	1	-1/+1
* \|	Remove unused open.	Bernhard Schommer	2017-02-06	1	-1/+0
* \|	Cleanup opens.	Bernhard Schommer	2017-02-06	1	-9/+8
* \|	Generalized function to allow adding hex strings.	Bernhard Schommer	2017-02-06	2	-4/+8
* \|	Remove all overriding opens in Elab.ml. Bug 19872	Bernhard Schommer	2017-02-03	1	-2/+2
* \|	Removed Cabshelper open and avoided shadowing.	Bernhard Schommer	2017-02-03	1	-7/+6
* \|	Remove unused opens.	Bernhard Schommer	2017-02-03	1	-32/+28
* \|	Removed no longer working check.	Bernhard Schommer	2017-02-03	1	-14/+4
* \|	Updated handcrafted.messages for __builtin_offsetof	Bernhard Schommer	2017-02-01	1	-753/+858
* \|	Change the syntax to gcc/clangs syntax.	Bernhard Schommer	2017-02-01	2	-3/+6
* \|	Merge pull request #159 from AbsInt/builtin_offsetof	Xavier Leroy	2017-02-01	7	-2/+72
\|\ \ \| \|/ \|/\|
\| *	Avoid overflows and report an error.	Bernhard Schommer	2017-01-31	2	-7/+10
\| *	Normalize offset to size_t kind.	Bernhard Schommer	2017-01-31	1	-2/+4
\| *	Remove superfluous check.	Bernhard Schommer	2017-01-31	1	-7/+4
\| *	Improve indentation.	Bernhard Schommer	2017-01-31	1	-1/+1
\| *	Remove blank lines.	Bernhard Schommer	2017-01-31	1	-2/+0
\| *	New version to support designators.	Bernhard Schommer	2017-01-24	7	-21/+45
\| *	Simplified version.	Bernhard Schommer	2017-01-20	2	-43/+26
\| *	Also support union. Bug 20765	Bernhard Schommer	2017-01-20	1	-3/+4
\| *	Implement offsetof via builtin.	Bernhard Schommer	2017-01-20	7	-2/+64
* \|	Typo in type of elab_char_constant	Xavier Leroy	2017-01-31	1	-1/+1
* \|	Export elab_{int,float,char}_constant	Xavier Leroy	2017-01-31	1	-0/+9
* \|	Added support for different diagnostic formats.	Bernhard Schommer	2017-01-30	1	-2/+25
* \|	Switch case for error option. Bug 19872	Bernhard Schommer	2017-01-30	1	-2/+2
* \|	Added -f(no-)diagnostics-show-option.	Bernhard Schommer	2017-01-27	1	-6/+20
* \|	Added option -fmax-errors.	Bernhard Schommer	2017-01-26	1	-3/+14
* \|	Added -w to disable all options. Bug 19872	Bernhard Schommer	2017-01-26	1	-1/+6
\|/
*	Improve wording of normal backtrace case Bug 19872	Bernhard Schommer	2017-01-19	1	-1/+3
*	Use quoted strings.	Bernhard Schommer	2017-01-18	1	-11/+12
*	More comments and improvements for unknown loc.	Bernhard Schommer	2017-01-18	2	-1/+27
*	Remove duplaceted relese. Bug 20681	Bernhard Schommer	2017-01-17	1	-1/+1
*	Added missing whitespace. Bug 19872	Bernhard Schommer	2017-01-17	1	-1/+1
*	Safe the backtrace earlier. Bug 20681	Bernhard Schommer	2017-01-17	1	-12/+13
*	Added backtrace handler.	Bernhard Schommer	2017-01-17	2	-0/+19
*	Allow multiple nameless bit field fields.	Bernhard Schommer	2016-12-29	1	-2/+4
*	Merge pull request #153 from AbsInt/anonymous_struct2	Bernhard Schommer	2016-12-27	7	-39/+113
\|\
\| *	Avoid exception catch-all	Xavier Leroy	2016-12-26	1	-1/+1
\| *	Cosmetic indentation change	Xavier Leroy	2016-12-26	1	-5/+4
\| *	Added code for initializers. Bug 20003	Bernhard Schommer	2016-12-12	1	-1/+19
\| *	Moved naming and changed names of aux functions	Bernhard Schommer	2016-12-12	1	-16/+20
\| *	Next try for support of anonymous structs.	Bernhard Schommer	2016-12-07	7	-41/+94
* \|	Added warning for inline asm in sdump. Bug 20593	Bernhard Schommer	2016-12-14	2	-0/+7
\|/
*	Use -Wno- instead of -Wno to deactivate warnings.	Bernhard Schommer	2016-12-06	1	-1/+1