Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Remove offen from website | Yann Herklotz | 2022-01-01 | 2 | -6/+5 | |
* | Update the pgp footer | Yann Herklotz | 2021-12-27 | 1 | -5/+5 | |
* | Add a makefile to generate the bibtex | Yann Herklotz | 2021-12-27 | 1 | -0/+12 | |
* | 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 | |
* | Update the sourcehut logo | Yann Herklotz | 2021-12-25 | 1 | -5/+5 | |
* | Add artifact evaluation for CGO'22 | Yann Herklotz | 2021-12-25 | 1 | -0/+4 | |
* | Update theme again | Yann Herklotz | 2021-12-25 | 1 | -5/+5 | |
* | Update theme and socials | Yann Herklotz | 2021-12-25 | 1 | -5/+5 | |
* | Add CC-BY 4.0 license | Yann Herklotz | 2021-12-25 | 2 | -5/+400 | |
* | Update theme | Yann Herklotz | 2021-12-25 | 1 | -5/+5 | |
* | Update the build with emacs-nox and minify | Yann Herklotz | 2021-12-25 | 1 | -2/+2 | |
* | Update git module URL | Yann Herklotz | 2021-12-25 | 1 | -1/+1 | |
* | Add .build.yml for sr.ht builds | Yann Herklotz | 2021-12-25 | 1 | -0/+23 | |
* | Add a README | Yann Herklotz | 2021-12-25 | 1 | -0/+3 | |
* | Update the introduction | Yann Herklotz | 2021-12-12 | 2 | -2/+18 | |
* | Merge remote-tracking branch 'origin/master' | Yann Herklotz | 2021-10-17 | 18 | -64/+202 | |
|\ | ||||||
| * | Update bib file again | Yann Herklotz | 2021-10-07 | 2 | -2/+2 | |
| * | Add correct citation style | Yann Herklotz | 2021-10-07 | 2 | -4/+2 | |
| * | Update bib file | Yann Herklotz | 2021-10-07 | 2 | -1/+3 | |
| * | Add bib files | Yann Herklotz | 2021-10-07 | 2 | -0/+65 | |
| * | Update papers | Yann Herklotz | 2021-10-07 | 3 | -92/+2 | |
| * | Update all papers | Yann Herklotz | 2021-10-07 | 15 | -17/+227 | |
| * | 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 | |
| * | Remove vericert blog post | Yann Herklotz | 2021-10-07 | 1 | -47/+0 | |
* | | Add poster | Yann Herklotz | 2021-10-17 | 1 | -0/+0 | |
|/ | ||||||
* | Don't prompt for evaluating code | Yann Herklotz | 2021-09-17 | 1 | -1/+2 | |
* | Put function into publish | Yann Herklotz | 2021-09-17 | 2 | -9/+7 | |
* | Update theme | Yann Herklotz | 2021-09-17 | 1 | -5/+5 | |
* | Merge branch 'dev' | Yann Herklotz | 2021-09-17 | 2 | -26/+35 | |
|\ | ||||||
| * | Export the header into setup.org | Yann Herklotz | 2021-09-17 | 2 | -25/+25 | |
| * | Fix links in content.org | Yann Herklotz | 2021-09-17 | 1 | -23/+20 | |
| * | Add content.org link changes | Yann Herklotz | 2021-09-17 | 1 | -15/+24 | |
* | | Fix links in content.org | Yann Herklotz | 2021-09-17 | 1 | -23/+20 | |
* | | Update syntax highlighting colours | Yann Herklotz | 2021-09-17 | 1 | -3/+3 | |
* | | Merge remote-tracking branch 'origin/master' | Yann Herklotz | 2021-09-17 | 6 | -31/+208 | |
|\| | ||||||
| * | Fix syntax highlighting | Yann Herklotz | 2021-09-14 | 4 | -29/+202 | |
| * | Update theme | Yann Herklotz | 2021-09-14 | 1 | -5/+5 | |
| * | Add to .gitignore | Yann Herklotz | 2021-09-14 | 1 | -0/+1 | |
| * | Merge branch 'master' of gitlab.com:ymherklotz/shiny-new-website | Yann Herklotz | 2021-09-14 | 21 | -151/+60 | |
| |\ | ||||||
| * | | Set no classes | Yann Herklotz | 2021-09-14 | 1 | -0/+3 | |
* | | | Add news about presenting at chalmers | Yann Herklotz | 2021-09-17 | 1 | -0/+4 | |
| |/ |/| | ||||||
* | | Add new theme | Yann Herklotz | 2021-09-14 | 1 | -5/+5 | |
* | | Adding camera ready version of paper | Yann Herklotz | 2021-09-13 | 1 | -0/+0 | |
* | | Update redirects | Yann Herklotz | 2021-09-11 | 17 | -148/+31 | |
* | | Add draft | Yann Herklotz | 2021-09-11 | 1 | -1/+1 | |
* | | Update baseurl | Yann Herklotz | 2021-09-11 | 1 | -1/+1 | |
* | | Update theme | Yann Herklotz | 2021-09-11 | 1 | -5/+5 | |
* | | Update baseurl | Yann Herklotz | 2021-09-11 | 2 | -6/+6 |