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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Merge branch 'kvx-work' into aarch64_block_bodystar	Sylvain Boulmé	2020-10-21	4	-106/+118
\|\
\| *	simpl -> cbn	David Monniaux	2020-09-29	4	-98/+98
\| \|
\| *	Improving the coqdoc	Sylvain Boulmé	2020-07-29	2	-8/+20
\| \|
* \|	replace exec_body_simulation_star' by exec_body_simulation_plus_gen	Sylvain Boulmé	2020-10-16	1	-1/+12
\| \|
* \|	restauring Coq compilation with STUBS	Sylvain Boulmé	2020-06-22	2	-2/+7
\| \|
* \|	Merge branch 'kvx-work' into PseudoAsmblock	Sylvain Boulmé	2020-06-19	4	-0/+1569
\|/
*	k1c -> kvx changes	David Monniaux	2020-05-26	5	-0/+2789