oopsla21_fvhls - Formal verification of high-level synthesis.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Update the presentation	Yann Herklotz	2021-09-29	2	-74/+90
\|
*	Update presentation with a bit more colour	Yann Herklotz	2021-09-29	2	-0/+0
\| \| \| \|	Update one of the diagrams with some colour.
*	Update presentation	Yann Herklotz	2021-09-29	1	-0/+0
\|
*	Merge branch 'master' of git.ymhg.org:private/formal_hls	Yann Herklotz	2021-09-29	1	-32/+32
\|\
\| *	Add presentation	Yann Herklotz	2021-09-29	1	-32/+32
\| \|
* \|	Add more diagrams and content	Yann Herklotz	2021-09-29	7	-29/+59
\|/
*	Add new presentation	Yann Herklotz	2021-09-29	6	-36/+273
\|
*	Add more pdfs	Yann Herklotz	2021-09-29	8	-0/+0
\|
*	Add pdfs	Yann Herklotz	2021-09-29	3	-0/+0
\|
*	Add presentation	Yann Herklotz	2021-09-28	1	-0/+45
\|
*	Add pdfs to the repository	Yann Herklotz	2021-09-28	4	-0/+0
\| \| \| \|	Also remove the ignore rule from .gitignore.
*	Update presentation and add references	Yann Herklotz	2021-09-28	3	-89/+118
\|
*	Add imperial logo	Yann Herklotz	2021-09-27	1	-0/+0
\|
*	Add presentation	Yann Herklotz	2021-09-27	7	-0/+2287