compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	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