compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Add op for float max and min for x86.	Bernhard Schommer	2022-02-07	1	-18/+0
*	Protect against overflows in `leaq` (all forms)	Bernhard Schommer	2021-08-27	1	-22/+27
*	Protect against overflows in `leaq N(src), dst` (#407)	Xavier Leroy	2021-08-27	1	-12/+17
*	Support __builtin_unreachable	Xavier Leroy	2021-05-02	1	-1/+4
*	Changed cc_varargs to an option type	Bernhard Schommer	2020-12-25	1	-2/+2
*	Support Cygwin 64 bits	Xavier Leroy	2020-10-05	1	-14/+77
*	Add __builtin_sqrt as synonymous for __builtin_fsqrt	Xavier Leroy	2020-07-27	1	-1/+1
*	No need to process __builtin_fabs in $ARCH/Asmexpand.ml	Xavier Leroy	2020-07-27	1	-4/+0
*	Platform-independent implementation of Conventions.size_arguments (#222)	Xavier Leroy	2020-02-24	1	-1/+1
*	Refine the type of function results in AST.signature	Xavier Leroy	2020-02-21	1	-1/+1
*	Revert "Remove `__builtin_nop` for some architectures. (#208)"	Bernhard Schommer	2020-01-03	1	-0/+3
*	Remove `__builtin_nop` for some architectures. (#208)	Bernhard Schommer	2019-12-21	1	-3/+0
*	Generate a nop instruction after some ais annotations (#137)	Bernhard Schommer	2018-09-12	1	-5/+2
*	Fix expansion of ctzl/clzl builtin for 64bit targets (#127)	Michael Schmidt	2018-07-12	1	-2/+15
*	New support for inserting ais-annotations.	Bernhard Schommer	2017-10-19	1	-4/+4
*	Extend builtin arguments with a pointer addition operator	Xavier Leroy	2017-07-06	1	-0/+2
*	Hybrid 64bit/32bit PowerPC port	Bernhard Schommer	2017-05-03	1	-5/+5
*	Do not use hardcoded register number for sp.	Bernhard Schommer	2016-11-25	1	-1/+1
*	Make Archi.ptr64 always computable, and reorganize files accordingly: ia32 ->...	Xavier Leroy	2016-10-27	1	-0/+638