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

	Commit message (Collapse)	Author	Age	Files	Lines
*	link on Cyril's short video	Sylvain Boulmé	2020-10-19	1	-2/+2
\|
*	update the title of our paper	Sylvain Boulmé	2020-10-07	1	-2/+2
\|
*	links to the impure library on github	Sylvain Boulmé	2020-07-31	1	-1/+1
\|
*	Improving Coqdoc on abstractbb	Sylvain Boulmé	2020-07-31	1	-1/+1
\|
*	Improving the coqdoc	Sylvain Boulmé	2020-07-29	1	-5/+5
\|
*	automatic date in the html index	Sylvain Boulmé	2020-05-28	1	-1/+1
\|
*	source url in the doc	Sylvain Boulmé	2020-05-27	1	-2/+4
\|
*	link to the HAL preprint	Sylvain Boulmé	2020-05-27	1	-2/+6
\|
*	k1c -> kvx changes	David Monniaux	2020-05-26	1	-0/+362