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

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge remote-tracking branch 'absint/master' into kvx-work	Cyril SIX	2021-06-01	1	-1/+1
\|\
\| *	Register X1 is destroyed by some built-in functions	Xavier Leroy	2021-05-13	1	-1/+1
* \|	Merge remote-tracking branch 'origin/kvx-work' into merge_master_8.13.1	Cyril SIX	2021-06-01	1	-1/+1
\|\ \
\| * \|	Important commit on expansions' mini CSE, and a draft for addptrofs	Léo Gourdin	2021-04-06	1	-1/+1
* \| \|	fix riscv merge?	Léo Gourdin	2021-03-29	1	-0/+1199
* \| \|	Merge branch 'master' into merge_master_8.13.1	Sylvain Boulmé	2021-03-23	1	-1199/+0
\|\ \ \ \| \|/ / \|/\| / \| \|/
\| *	RISC-V: fix FP calling conventions	Xavier Leroy	2021-01-14	1	-0/+4
\| *	Replace `omega` tactic with `lia`	Xavier Leroy	2020-12-29	1	-1/+1
* \|	écrase X31riscV-cmov	David Monniaux	2021-02-03	1	-1/+2
* \|	begin implementing select	David Monniaux	2021-02-02	1	-2/+6
* \|	bits to float	David Monniaux	2021-02-01	1	-2/+9
* \|	define some semantics in Asm	David Monniaux	2021-02-01	1	-3/+7
\|/
*	Revert "Remove `__builtin_nop` for some architectures. (#208)"	Bernhard Schommer	2020-01-03	1	-1/+3
*	Remove `__builtin_nop` for some architectures. (#208)	Bernhard Schommer	2019-12-21	1	-3/+1
*	Fix misspellings in messages, man pages, and comments	Xavier Leroy	2019-05-31	1	-1/+1
*	Generate a nop instruction after some ais annotations (#137)	Bernhard Schommer	2018-09-12	1	-1/+3
*	Model external calls as destroying all caller-save registers	Xavier Leroy	2018-06-01	1	-1/+10
*	RISC-V port and assorted changes	Xavier Leroy	2017-04-28	1	-0/+1172