summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2025-08-30keys: pgp: change expiry dateHEADmasterquentin@aristote.fr
2025-08-30devenv: updatequentin@aristote.fr
2025-08-12research: calco2025: add abstractaristote
2025-08-12rename any last instances of 'publications' to 'research'quentin@aristote.fr
2025-08-12devenv: updatequentin@aristote.fr
2025-08-01Merge branch 'new-pub-format'aristote
2025-08-01research: talks: add may talksaristote
2025-08-01devenv: updatearistote
2025-08-01devenv: updatearistote
2025-07-29publications -> researcharistote
2025-07-29publications: calco proceedingsaristote
2025-07-29publications: calco proceedingsaristote
2025-07-27typoaristote
2025-07-27devenv: updatearistote
2025-07-27publications: files: fix scriptaristote
2025-07-27reference files: add talksaristote
2025-07-27normalize referencesaristote
2025-07-27Publications -> Writingsaristote
2025-07-27publications: fix exportaristote
2025-07-27devenv: updatearistote
2025-07-27move back to json and renamearistote
2025-07-27importYAML -> importTOMLaristote
2025-07-26new publication formataristote
2025-07-26change status of some preprintsaristote
2025-07-26move hal version of wdl2025 out of selectedaristote
2025-07-19publications: monotone wdl: updatearistote
2025-05-06add calco preprintaristote
2025-04-28publications: add lics 2025 preprintaristote
2025-02-27aristoteMonotoneWeakDistributive2025: add abstractquentin@aristote.fr
2025-02-27devenv: updatequentin@aristote.fr
2025-02-25stacs 2025 paperaristote
2025-02-25devenv: updatearistote
2025-02-22package sourcequentin@aristote.fr
2025-02-16publications: export inside a packagequentin@aristote.fr
2025-02-16publications: updatequentin@aristote.fr
2025-02-16move devenv out of flakequentin@aristote.fr
2024-11-04fall 2024: new paperaristote
2024-08-30renew pgp keyquentin@aristote.fr
2024-03-01fix citationquentin@aristote.fr
2024-02-28publications: add selected sectionquentin@aristote.fr
2024-02-28update publicationsquentin@aristote.fr
2024-02-07stop following .envrcaristote
2023-09-30basics: change office numberquentin@aristote.fr
2023-09-17reformat codequentin@aristote.fr
2023-09-17flake: add devenvquentin@aristote.fr
2023-08-22i am now a phd studentquentin@aristote.fr
2023-08-20change api to accomodate for tex cvquentin@aristote.fr
2023-08-20files: keys: pgp: update public key expiration datequentin@aristote.fr
2023-08-20experience: tweag internship: add supervisorquentin@aristote.fr
2023-04-30files: gpg key: change irif emailquentin@aristote.fr
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-24 22:41:05 +0000