| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | Fix grammar in PEQ news section | Yann Herklotz | 2022-02-23 | 1 | -1/+1 | |
| | | ||||||
| * | Update news section | Yann Herklotz | 2022-02-23 | 1 | -0/+4 | |
| | | ||||||
| * | Add draft about three-valued logic | Yann Herklotz | 2022-02-23 | 1 | -1/+25 | |
| | | ||||||
| * | Remove text decorations from links | Yann Herklotz | 2022-02-19 | 1 | -11/+3 | |
| | | ||||||
| * | Populate service toml file | Yann Herklotz | 2022-02-19 | 1 | -0/+36 | |
| | | ||||||
| * | Remove unnecessary fonts and add service | Yann Herklotz | 2022-02-19 | 79 | -185/+78 | |
| | | ||||||
| * | Add some more links to news | Yann Herklotz | 2022-01-31 | 1 | -4/+4 | |
| | | ||||||
| * | Update the date | Yann Herklotz | 2022-01-31 | 1 | -1/+1 | |
| | | ||||||
| * | Add news of being a subreviewer | Yann Herklotz | 2022-01-31 | 1 | -0/+4 | |
| | | ||||||
| * | Merge commit '544e5dd73e45754666fa70b0671574b2b68cdca9' as 'themes/ymherklotz' | Yann Herklotz | 2022-01-31 | 110 | -0/+1307 | |
| |\ | ||||||
| | * | Squashed 'themes/ymherklotz/' content from commit 3b8df0a | Yann Herklotz | 2022-01-31 | 110 | -0/+1307 | |
| | | | | | | git-subtree-dir: themes/ymherklotz git-subtree-split: 3b8df0a921045f04635753474179a89b60142564 | |||||
| * | Remove submodule | Yann Herklotz | 2022-01-31 | 2 | -9/+0 | |
| | | ||||||
| * | Update .gitignore with lockfile | Yann Herklotz | 2022-01-21 | 1 | -0/+2 | |
| | | ||||||
| * | Update tag | Yann Herklotz | 2022-01-05 | 2 | -6/+6 | |
| | | ||||||
| * | Update the build with new dependencies | Yann Herklotz | 2022-01-05 | 1 | -8/+6 | |
| | | ||||||
| * | Update build script | Yann Herklotz | 2022-01-04 | 1 | -2/+2 | |
| | | ||||||
| * | Remove unnecessary link macro | Yann Herklotz | 2022-01-04 | 2 | -28/+27 | |
| | | ||||||
| * | Update copyright notice | Yann Herklotz | 2022-01-01 | 1 | -5/+5 | |
| | | ||||||
| * | 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 | |
| | | | ||||||
 |
index : yannherklotz.com | |
| Personal website hosted at https://yannherklotz.com. |
| aboutsummaryrefslogtreecommitdiffstats |