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