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

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge remote-tracking branch 'origin/kvx-work' into kvx-work-ssa	David Monniaux	2021-01-08	1	-4/+4
\|\
\| *	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
* \| \|	Merge remote-tracking branch 'origin/kvx-work' into kvx-work-ssa	David Monniaux	2020-11-05	1	-1/+2
\|\\| \|
\| * \|	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
\| * \|	Embed the short video with subtitles...	Sylvain Boulmé	2020-11-04	1	-2/+10
* \| \|	Merge remote-tracking branch 'origin/kvx-work' into kvx-work-ssa	David Monniaux	2020-10-28	1	-2/+3
\|\\| \|
\| * \|	restore URL on the coqdoc	Sylvain Boulmé	2020-10-28	1	-2/+3
* \| \|	Merge remote-tracking branch 'origin/kvx-work' into kvx-work-ssa	David Monniaux	2020-10-27	1	-8/+12
\|\\| \|
\| * \|	link on Cyril's short video	Sylvain Boulmé	2020-10-19	1	-8/+12
* \| \|	Merge branch 'ssa' of https://gitlab.inria.fr/compcertssa/compcertssa into kv...	David Monniaux	2020-07-17	1	-1/+19
\|\ \ \ \| \|/ / \|/\| \|
\| * \|	Updating README for SSA specifics	Delphine Demange	2020-07-09	1	-0/+19
\| \|/
* \|	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
*	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