aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| * Squashed 'themes/ymherklotz/' content from commit 3b8df0aYann Herklotz2022-01-31110-0/+1307
* Remove submoduleYann Herklotz2022-01-312-9/+0
* Update .gitignore with lockfileYann Herklotz2022-01-211-0/+2
* Update tagYann Herklotz2022-01-052-6/+6
* Update the build with new dependenciesYann Herklotz2022-01-051-8/+6
* Update build scriptYann Herklotz2022-01-041-2/+2
* Remove unnecessary link macroYann Herklotz2022-01-042-28/+27
* Update copyright noticeYann Herklotz2022-01-011-5/+5
* Remove offen from websiteYann Herklotz2022-01-012-6/+5
* Update the pgp footerYann Herklotz2021-12-271-5/+5
* Add a makefile to generate the bibtexYann Herklotz2021-12-271-0/+12
* Make it a text fileYann Herklotz2021-12-271-0/+0
* Add ASCII publick PGP keyYann Herklotz2021-12-271-0/+178
* Update the sourcehut logoYann Herklotz2021-12-251-5/+5
* Add artifact evaluation for CGO'22Yann Herklotz2021-12-251-0/+4
* Update theme againYann Herklotz2021-12-251-5/+5
* Update theme and socialsYann Herklotz2021-12-251-5/+5
* Add CC-BY 4.0 licenseYann Herklotz2021-12-252-5/+400
* Update themeYann Herklotz2021-12-251-5/+5
* Update the build with emacs-nox and minifyYann Herklotz2021-12-251-2/+2
* Update git module URLYann Herklotz2021-12-251-1/+1
* Add .build.yml for sr.ht buildsYann Herklotz2021-12-251-0/+23
* Add a READMEYann Herklotz2021-12-251-0/+3
* Update the introductionYann Herklotz2021-12-122-2/+18
* Merge remote-tracking branch 'origin/master'Yann Herklotz2021-10-1718-64/+202
|\
| * Update bib file againYann Herklotz2021-10-072-2/+2
| * Add correct citation styleYann Herklotz2021-10-072-4/+2
| * Update bib fileYann Herklotz2021-10-072-1/+3
| * Add bib filesYann Herklotz2021-10-072-0/+65
| * Update papersYann Herklotz2021-10-073-92/+2
| * Update all papersYann Herklotz2021-10-0715-17/+227
| * Update FPGA paper as wellYann Herklotz2021-10-071-0/+0
| * Update the oopsla paperYann Herklotz2021-10-071-0/+0
| * Remove vericert blog postYann Herklotz2021-10-071-47/+0
* | Add posterYann Herklotz2021-10-171-0/+0
|/
* Don't prompt for evaluating codeYann Herklotz2021-09-171-1/+2
* Put function into publishYann Herklotz2021-09-172-9/+7
* Update themeYann Herklotz2021-09-171-5/+5
* Merge branch 'dev'Yann Herklotz2021-09-172-26/+35
|\
| * Export the header into setup.orgYann Herklotz2021-09-172-25/+25
| * Fix links in content.orgYann Herklotz2021-09-171-23/+20
| * Add content.org link changesYann Herklotz2021-09-171-15/+24
* | Fix links in content.orgYann Herklotz2021-09-171-23/+20
* | Update syntax highlighting coloursYann Herklotz2021-09-171-3/+3
* | Merge remote-tracking branch 'origin/master'Yann Herklotz2021-09-176-31/+208
|\|
| * Fix syntax highlightingYann Herklotz2021-09-144-29/+202
| * Update themeYann Herklotz2021-09-141-5/+5
| * Add to .gitignoreYann Herklotz2021-09-141-0/+1
| * Merge branch 'master' of gitlab.com:ymherklotz/shiny-new-websiteYann Herklotz2021-09-1421-151/+60
| |\
| * | Set no classesYann Herklotz2021-09-141-0/+3
generated by cgit (git 2.34.1) at 2024-05-20 23:34:28 +0000