| Commit message (Expand) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | Add a better summary line | Yann Herklotz | 2022-07-09 | 1 | -1/+1 | |
| * | Fix title of new article | Yann Herklotz | 2022-07-09 | 1 | -1/+1 | |
| * | Add iosevka as font | Yann Herklotz | 2022-07-09 | 1 | -0/+1 | |
| * | Update | Yann Herklotz | 2022-07-09 | 1 | -10/+3 | |
| * | Remove hl-line-mode | Yann Herklotz | 2022-07-09 | 1 | -6/+2 | |
| * | Update the background colour | Yann Herklotz | 2022-07-09 | 1 | -1/+1 | |
| * | Add the ebib file in light mode | Yann Herklotz | 2022-07-09 | 1 | -19/+26 | |
| * | Add new blog-post | Yann Herklotz | 2022-07-09 | 3 | -5/+353 | |
| * | Add blog post | Yann Herklotz | 2022-06-29 | 1 | -1/+2 | |
| * | Add PLDI'22 presentation to website | Yann Herklotz | 2022-06-28 | 1 | -0/+4 | |
| * | Add news about PC | Yann Herklotz | 2022-06-28 | 1 | -0/+4 | |
| * | Add a changelog for the OOPSLA paper | Yann Herklotz | 2022-06-28 | 4 | -3/+29 | |
| * | Add poster | Yann Herklotz | 2022-06-26 | 2 | -1/+2 | |
| * | Fix some styling | Yann Herklotz | 2022-06-25 | 4 | -9/+16 | |
| * | Remove fontawesome | Yann Herklotz | 2022-06-25 | 20 | -16/+25 | |
| * | Add katex locally | Yann Herklotz | 2022-06-25 | 66 | -162/+157 | |
| * | Add better rss generation | Yann Herklotz | 2022-06-09 | 1 | -0/+57 | |
| * | Remove preload of fonts | Yann Herklotz | 2022-06-08 | 1 | -3/+0 | |
| * | Update links to katex | Yann Herklotz | 2022-06-08 | 2 | -13/+8 | |
| * | Remove extra loading | Yann Herklotz | 2022-06-08 | 2 | -8/+7 | |
| * | Add the DOI for the FCCM'22 paper | Yann Herklotz | 2022-06-05 | 1 | -0/+1 | |
| * | Add mastodon link | Yann Herklotz | 2022-06-03 | 11 | -4/+8 | |
| * | Update the news | Yann Herklotz | 2022-06-01 | 1 | -0/+4 | |
| * | Merge remote-tracking branch 'origin/master' | Yann Herklotz | 2022-05-31 | 6 | -48/+54 | |
| |\ | ||||||
| | * | Remove first-letter shenanigans | Yann Herklotz | 2022-05-04 | 1 | -2/+2 | |
| | * | Reset social size | Yann Herklotz | 2022-05-04 | 1 | -1/+0 | |
| | * | Subdue the color and fix the CSS | Yann Herklotz | 2022-05-04 | 4 | -18/+20 | |
| | * | Change the links | Yann Herklotz | 2022-05-04 | 2 | -28/+28 | |
| | * | Add another todo | Yann Herklotz | 2022-05-01 | 1 | -0/+5 | |
| * | | Add FCCM'22 paper | Yann Herklotz | 2022-05-31 | 2 | -3/+6 | |
| * | | Update favicon and FCCM | Yann Herklotz | 2022-05-31 | 2 | -1/+1 | |
| |/ | ||||||
| * | Integrate everything into one makefile | Yann Herklotz | 2022-03-25 | 6 | -35/+33 | |
| * | Add dependencies into the yml file | Yann Herklotz | 2022-03-25 | 2 | -3/+2 | |
| * | Remove bib files | Yann Herklotz | 2022-03-25 | 5 | -108/+7 | |
| * | Try and fix build | Yann Herklotz | 2022-03-25 | 3 | -8/+10 | |
| * | Try and fix the publish script | Yann Herklotz | 2022-03-25 | 1 | -2/+2 | |
| * | Add new publication in FCCM'22 | Yann Herklotz | 2022-03-25 | 5 | -3/+60 | |
| * | Add transclusions | Yann Herklotz | 2022-03-04 | 2 | -7/+6 | |
| * | Fix link for PLDI'22 news | Yann Herklotz | 2022-02-23 | 1 | -1/+1 | |
| * | Add news about artefact evaluation for PLDI'22 | Yann Herklotz | 2022-02-23 | 1 | -3/+7 | |
| * | 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 | |
| |\ | ||||||
 |
index : yannherklotz.com | |
| Personal website hosted at https://yannherklotz.com. |
| aboutsummaryrefslogtreecommitdiffstats |