compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Fix wrong expansion of __builtin_memcpy_aligned	Xavier Leroy	2021-09-23	1	-2/+2
*	Support __builtin_unreachable	Xavier Leroy	2021-05-02	1	-0/+4
*	RISC-V: fix FP calling conventions	Xavier Leroy	2021-01-14	1	-80/+114
*	RISC-V: wrong fixup code generated for vararg calls with fixed FP args	Xavier Leroy	2021-01-10	1	-12/+18
*	RISC-V: revised calling conventions for variadic functions	Xavier Leroy	2020-12-25	1	-32/+64
*	Changed cc_varargs to an option type	Bernhard Schommer	2020-12-25	1	-3/+3
*	Add __builtin_sqrt as synonymous for __builtin_fsqrt	Xavier Leroy	2020-07-27	1	-1/+1
*	RISC-V implementation of __builtin_clz* and __builtin_ctz*	Xavier Leroy	2020-07-27	1	-0/+109
*	No need to process __builtin_fabs in $ARCH/Asmexpand.ml	Xavier Leroy	2020-07-27	1	-2/+0
*	Update the RISC-V calling conventions (#221)	Xavier Leroy	2020-02-26	1	-18/+18
*	Cosmetic: in OCaml code, write "open! Module" instead of "open !Module"	Xavier Leroy	2020-02-21	1	-1/+1
*	Incorrect computation of extra stack size for vararg calls in RISC-V (#213)	Bernhard Schommer	2020-02-05	1	-2/+2
*	Revert "Remove `__builtin_nop` for some architectures. (#208)"	Bernhard Schommer	2020-01-03	1	-0/+2
*	Remove `__builtin_nop` for some architectures. (#208)	Bernhard Schommer	2019-12-21	1	-2/+0
*	Generate a nop instruction after some ais annotations (#137)	Bernhard Schommer	2018-09-12	1	-5/+3
*	Compatibility with OCaml 4.07 (#241) continued	Bernhard Schommer	2018-07-12	1	-1/+1
*	New support for inserting ais-annotations.	Bernhard Schommer	2017-10-19	1	-4/+4
*	Extend builtin arguments with a pointer addition operator, continued	Xavier Leroy	2017-07-06	1	-0/+14
*	RISC-V port and assorted changes	Xavier Leroy	2017-04-28	1	-0/+605