Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
|\ | |||||
| * | 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 |
| |