compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Use define for wchar_t type	Bernhard Schommer	2023-02-01	1	-0/+9
*	Handle unstructured 'switch' statements such as Duff's device	Xavier Leroy	2022-10-29	1	-5/+7
*	Revised passing of options to `Parse.preprocessed_file`	Xavier Leroy	2022-09-27	1	-7/+5
*	Support the `-std=<standard>` option (#456)	Xavier Leroy	2022-09-23	1	-0/+3
*	Support C11 Unicode string literals and character constants (#452)	Xavier Leroy	2022-09-19	1	-1/+4
*	Native support for bit fields (#400)	Xavier Leroy	2021-08-22	1	-1/+0
*	"macosx" is now called "macos"	Xavier Leroy	2021-01-18	1	-2/+2
*	AArch64: macOS port	Xavier Leroy	2020-12-26	1	-1/+3
*	Move reserved_registers to CPragmas.	Bernhard Schommer	2020-04-20	1	-0/+1
*	AArch64 port	Xavier Leroy	2019-08-08	1	-0/+1
*	Remove the cparser/Builtins module	Xavier Leroy	2019-07-17	1	-1/+1
*	Fix misspellings in messages, man pages, and comments	Xavier Leroy	2019-05-31	1	-2/+2
*	Define macros with CompCert's version number (#284)	Xavier Leroy	2019-03-27	1	-2/+24
*	Add sizeof_reg and new Machine configurations (#129)	Bernhard Schommer	2018-08-20	1	-4/+6
*	Typo in -iquote preprocessing option (#239)	Frédéric Besson	2018-06-20	1	-1/+1
*	Define C11 conditional feature macros (#77)	Bernhard Schommer	2018-04-06	1	-1/+10
*	Move struct passing/return style to Machine.	Bernhard Schommer	2018-02-16	1	-1/+5
*	Refactor the handling of errors and warnings (#44)	Bernhard Schommer	2018-02-08	1	-12/+3
*	Move machine initialization to Frontend.init function. (#49)	Bernhard Schommer	2018-01-11	1	-0/+25
*	Handle dcompcertc and dparsedc like all dump opts.	Bernhard Schommer	2018-01-04	1	-12/+2
*	Introduced configuration variable for gnu systems.	Bernhard Schommer	2017-02-13	1	-2/+2
*	Use quoted strings.	Bernhard Schommer	2017-01-18	1	-32/+34
*	Moved assembler and linker into own files.	Bernhard Schommer	2016-06-24	1	-2/+2
*	Deactivate options target dependend.	Bernhard Schommer	2016-06-24	1	-48/+49
*	Moved shared frontend code in own file.	Bernhard Schommer	2016-05-24	1	-0/+163