compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Removed Cabshelper open and avoided shadowing.	Bernhard Schommer	2017-02-03	2	-8/+7
*	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	3	-4/+7
*	Merge pull request #159 from AbsInt/builtin_offsetof	Xavier Leroy	2017-02-01	8	-3/+73
\|\
\| *	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	8	-22/+46
\| *	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	8	-3/+65
* \|	Add LINK_OPT and document it.	Bernhard Schommer	2017-02-01	1	-2/+15
* \|	Typo in type of elab_char_constant	Xavier Leroy	2017-01-31	1	-1/+1
* \|	Update Changes for release 3.0	Xavier Leroy	2017-01-31	1	-2/+39
* \|	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
* \|	Fixed indention of help.	Bernhard Schommer	2017-01-27	1	-3/+3
* \|	Added -f(no-)diagnostics-show-option.	Bernhard Schommer	2017-01-27	1	-6/+20
* \|	Added option -fmax-errors.	Bernhard Schommer	2017-01-26	3	-3/+36
* \|	mention share directory for -target option	Michael Schmidt	2017-01-26	1	-0/+1
* \|	describe -conf and -target	Michael Schmidt	2017-01-26	1	-0/+11
* \|	describe environment variable for configuration file	Michael Schmidt	2017-01-26	1	-2/+10
* \|	Added -w to disable all options. Bug 19872	Bernhard Schommer	2017-01-26	1	-1/+6
* \|	Allow .sx files for preprocessed assembler files.	Bernhard Schommer	2017-01-25	1	-0/+3
* \|	Do not print anonymous member names in debug info	Bernhard Schommer	2017-01-24	5	-4/+6
* \|	Also remove coq aux files.	Bernhard Schommer	2017-01-24	1	-0/+1
\|/
*	Improve wording of normal backtrace case Bug 19872	Bernhard Schommer	2017-01-19	1	-1/+3
*	Simplified C2C.error.	Bernhard Schommer	2017-01-18	2	-19/+16
*	Use quoted strings.	Bernhard Schommer	2017-01-18	6	-143/+156
*	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
*	bug 20679, more precise description of -g	Michael Schmidt	2017-01-17	1	-1/+1
*	Added backtrace handler.	Bernhard Schommer	2017-01-17	3	-0/+21
*	Fix typos	Michael Schmidt	2017-01-04	1	-2/+2
*	Allow multiple nameless bit field fields.	Bernhard Schommer	2016-12-29	1	-2/+4
*	Filter macOS metadata files in .gitignore	Michael Schmidt	2016-12-28	1	-0/+2
*	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
* \|	Replace 'decide equality' in x86/Op.v by custom tactics from lib/BoolEqual.v	Xavier Leroy	2016-12-26	3	-9/+176