yannherklotz.com - Personal website hosted at https://yannherklotz.com.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Make it a text file	Yann Herklotz	2021-12-27	1	-0/+0
\|
*	Add ASCII publick PGP key	Yann Herklotz	2021-12-27	1	-0/+178
\|
*	Merge remote-tracking branch 'origin/master'	Yann Herklotz	2021-10-17	12	-12/+40
\|\
\| *	Update all papers	Yann Herklotz	2021-10-07	10	-12/+40
\| \|
\| *	Update FPGA paper as well	Yann Herklotz	2021-10-07	1	-0/+0
\| \|
\| *	Update the oopsla paper	Yann Herklotz	2021-10-07	1	-0/+0
\| \|
* \|	Add poster	Yann Herklotz	2021-10-17	1	-0/+0
\|/
*	Update syntax highlighting colours	Yann Herklotz	2021-09-17	1	-3/+3
\|
*	Fix syntax highlighting	Yann Herklotz	2021-09-14	2	-0/+172
\|
*	Adding camera ready version of paper	Yann Herklotz	2021-09-13	1	-0/+0
\|
*	Update redirects	Yann Herklotz	2021-09-11	15	-120/+0
\|
*	Add redirects	Yann Herklotz	2021-09-10	15	-0/+120
\|
*	Add initial files	Yann Herklotz	2021-09-02	53	-0/+311