compcert-kvx - Unnamed repository; edit this file 'description' to name the repository.

	Commit message (Expand)	Author	Age	Files	Lines
*	Removing expansions from Asmgen	Léo Gourdin	2021-04-09	1	-3/+6
*	fix code generation for select(b, r, r)	David Monniaux	2021-02-02	1	-2/+7
*	fix problem if rt = rf	David Monniaux	2021-02-02	1	-6/+8
*	implement for another register configuration	David Monniaux	2021-02-02	1	-1/+8
*	some more cases implemented	David Monniaux	2021-02-02	1	-12/+25
*	begin implementing select	David Monniaux	2021-02-02	1	-1/+14
*	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