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

	Commit message (Collapse)	Author	Age	Files	Lines
*	update from BTL dev branch	Léo Gourdin	2022-01-05	1	-1/+3
\|
*	add LCTES paper in README	Sylvain Boulmé	2022-01-04	1	-0/+1
\|
*	install link	Léo Gourdin	2021-12-06	1	-1/+1
\|
*	update the README and INSTALL documents	Léo Gourdin	2021-12-06	1	-6/+21
\|
*	update info on authors/papers	Sylvain Boulmé	2021-12-06	1	-1/+13
\|
*	Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8	David Monniaux	2020-11-18	1	-4/+4
\|\
\| *	Update README	Xavier Leroy	2020-11-09	1	-4/+4
\| \|
* \|	youtube link	Sylvain Boulmé	2020-11-04	1	-1/+2
\| \|
* \|	Revert "Embed the short video with subtitles..."	Sylvain Boulmé	2020-11-04	1	-10/+2
\| \| \| \| \| \| \| \|	This reverts commit 2d01e9626d32bfa384ec8846d361f70205b54f25.
* \|	Embed the short video with subtitles...	Sylvain Boulmé	2020-11-04	1	-2/+10
\| \|
* \|	restore URL on the coqdoc	Sylvain Boulmé	2020-10-28	1	-2/+3
\| \|
* \|	link on Cyril's short video	Sylvain Boulmé	2020-10-19	1	-8/+12
\| \|
* \|	fix markdown	Sylvain Boulmé	2020-05-28	1	-1/+3
\| \|
* \|	readme	David Monniaux	2020-05-27	1	-0/+15
\|/
*	Mention the RISC-V port as well	Xavier Leroy	2018-01-13	1	-2/+2
\|
*	Update copyright section	Xavier Leroy	2018-01-11	1	-3/+4
\| \| \| \|	So that it is consistent with the LICENSE file.
*	Update http to https	Michael Schmidt	2016-10-28	1	-1/+1
\|
*	Further updates to README.md	Xavier Leroy	2015-04-04	1	-9/+18
\|
*	README in MarkDown	Guillaume Claret	2015-04-02	1	-0/+29