| Age | Commit message (Expand) | Author |
|---|---|---|
| 2025-02-27 | devenv: update | quentin@aristote.fr |
| 2025-02-25 | stacs 2025 paper | aristote |
| 2025-02-25 | devenv: update | aristote |
| 2025-02-22 | package source | quentin@aristote.fr |
| 2025-02-16 | publications: export inside a package | quentin@aristote.fr |
| 2025-02-16 | publications: update | quentin@aristote.fr |
| 2025-02-16 | move devenv out of flake | quentin@aristote.fr |
| 2024-11-04 | fall 2024: new paper | aristote |
| 2024-08-30 | renew pgp key | quentin@aristote.fr |
| 2024-03-01 | fix citation | quentin@aristote.fr |
| 2024-02-28 | publications: add selected section | quentin@aristote.fr |
| 2024-02-28 | update publications | quentin@aristote.fr |
| 2024-02-07 | stop following .envrc | aristote |
| 2023-09-30 | basics: change office number | quentin@aristote.fr |
| 2023-09-17 | reformat code | quentin@aristote.fr |
| 2023-09-17 | flake: add devenv | quentin@aristote.fr |
| 2023-08-22 | i am now a phd student | quentin@aristote.fr |
| 2023-08-20 | change api to accomodate for tex cv | quentin@aristote.fr |
| 2023-08-20 | files: keys: pgp: update public key expiration date | quentin@aristote.fr |
| 2023-08-20 | experience: tweag internship: add supervisor | quentin@aristote.fr |
| 2023-04-30 | files: gpg key: change irif email | quentin@aristote.fr |
| 2023-04-24 | basics: address: switch to irif | aristote |
| 2023-04-17 | basics: email: change academic address | qaristote |
| 2023-03-14 | keys: pgp: add irif identity | quentin@aristote.fr |
| 2023-03-01 | publications: fix smtlib abstract | Quentin Aristote |
| 2023-03-01 | flake.lock: Update | Quentin Aristote |
| 2023-02-26 | end tweag internship and start irif one | Quentin Aristote |
| 2023-02-15 | fix smtlib-backends metadata | Quentin Aristote |
| 2023-02-15 | flake.lock: Update | Quentin Aristote |
| 2023-02-15 | add smtlib-backends blogpost | Quentin Aristote |
| 2023-02-04 | experience: sell my work more in internships' descriptions | Quentin Aristote |
| 2023-02-04 | correct wording in bibli-paris abstract | Quentin Aristote |
| 2022-12-17 | add software | Quentin Aristote |
| 2022-11-16 | files: avatar: remove exif | Quentin Aristote |
| 2022-11-13 | flake: use utils from registry | Quentin Aristote |
| 2022-11-13 | update input nixpkgs | Quentin Aristote |
| 2022-11-13 | basics: profiles: restructure and add icons | Quentin Aristote |
| 2022-11-12 | basics: reword position | Quentin Aristote |
| 2022-11-11 | add flake lock | Quentin Aristote |
| 2022-11-11 | add flake | Quentin Aristote |
| 2022-11-11 | add initial data | Quentin Aristote |
 |
index : about-me/info | |
| Unnamed repository; edit this file 'description' to name the repository. |
| summaryrefslogtreecommitdiff |