| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2025-12-09 | languages: remove japanese | aristote | |
| 2025-12-09 | experience: service: fix | aristote | |
| 2025-12-09 | devenv: update | aristote | |
| 2025-12-06 | (tmp): fix research/talks | quentin@aristote.fr | |
| 2025-12-05 | research: talk: asv day: add url | aristote | |
| 2025-12-05 | devenv: update | aristote | |
| 2025-12-04 | research: talk: asv day 2025 | aristote | |
| 2025-12-04 | devenv: update | aristote | |
| 2025-11-25 | experience: add academic service | aristote | |
| 2025-11-24 | devenv: update | aristote | |
| 2025-10-23 | research: talks: rouen 2025 | aristote | |
| 2025-10-23 | devenv: update | aristote | |
| 2025-10-20 | talks: cant: fix slides | aristote | |
| 2025-10-20 | devenv: update | aristote | |
| 2025-10-10 | research: conferences: lics2025 proceedings | aristote | |
| 2025-10-10 | devenv: update | aristote | |
| 2025-10-09 | research: journals: csl2024 distinguished paper | aristote | |
| 2025-10-09 | research: talks: cant2025: update slides url | aristote | |
| 2025-09-30 | research: talks: add cant2025 | aristote | |
| 2025-09-30 | devenv: update | aristote | |
| 2025-09-08 | research: add highlights talk | aristote | |
| 2025-09-08 | devenv: update | aristote | |
| 2025-08-30 | keys: pgp: change expiry date | quentin@aristote.fr | |
| 2025-08-30 | devenv: update | quentin@aristote.fr | |
| 2025-08-12 | research: calco2025: add abstract | aristote | |
| 2025-08-12 | rename any last instances of 'publications' to 'research' | quentin@aristote.fr | |
| 2025-08-12 | devenv: update | quentin@aristote.fr | |
| 2025-08-01 | Merge branch 'new-pub-format' | aristote | |
| 2025-08-01 | research: talks: add may talks | aristote | |
| 2025-08-01 | devenv: update | aristote | |
| 2025-08-01 | devenv: update | aristote | |
| 2025-07-29 | publications -> research | aristote | |
| 2025-07-29 | publications: calco proceedings | aristote | |
| 2025-07-29 | publications: calco proceedings | aristote | |
| 2025-07-27 | typo | aristote | |
| 2025-07-27 | devenv: update | aristote | |
| • Updated input 'devenv': 'github:cachix/devenv/4000b0153c6f54a57368c0b066aaa0024450618c?dir=src/modules' (2025-02-26) → 'github:cachix/devenv/8a92f0a645f8c6ee1653a492abc0be3556b0202d?dir=src/modules' (2025-07-25) • Updated input 'git-hooks': 'github:cachix/git-hooks.nix/9364dc02281ce2d37a1f55b6e51f7c0f65a75f17' (2025-01-21) → 'github:cachix/git-hooks.nix/16ec914f6fb6f599ce988427d9d94efddf25fe6d' (2025-06-24) • Updated input 'git-hooks/flake-compat': 'github:edolstra/flake-compat/ff81ac966bb2cae68946d5ed5fc4994f96d0ffec' (2024-12-04) → 'github:edolstra/flake-compat/9100a0f413b0c601e0533d1d94ffd501ce2e7885' (2025-05-12) • Updated input 'my-nixpkgs': 'github:qaristote/my-nixpkgs/fc9766e6b3bd039376d5a446b55d03bd0a0b267b' (2025-02-26) → 'github:qaristote/my-nixpkgs/2a8763191aed7bc2db4fc478804d80420c542b3b' (2025-07-22) • Updated input 'my-nixpkgs/flake-parts': 'github:hercules-ci/flake-parts/32ea77a06711b758da0ad9bd6a844c5740a87abd' (2025-02-01) → 'github:hercules-ci/flake-parts/644e0fc48951a860279da645ba77fe4a6e814c5e' (2025-07-21) • Updated input 'my-nixpkgs/flake-parts/nixpkgs-lib': 'https://github.com/NixOS/nixpkgs/archive/072a6db25e947df2f31aab9eccd0ab75d5b2da11.tar.gz?narHash=sha256-vJzFZGaCpnmo7I6i416HaBLpC%2BhvcURh/BQwROcGIp8%3D' (2025-02-16) → 'github:nix-community/nixpkgs.lib/0f36c44e01a6129be94e3ade315a5883f0228a6e' (2025-07-27) • Updated input 'my-nixpkgs/nixpkgs': 'github:NixOS/nixpkgs/3a05eebede89661660945da1f151959900903b6a' (2025-02-26) → 'github:NixOS/nixpkgs/6027c30c8e9810896b92429f0092f624f7b1aace' (2025-07-25) • Updated input 'my-nixpkgs/nur': 'github:nix-community/NUR/2e80b737688496c5a3b0557009c8aa0bb5d0f98c' (2025-02-27) → 'github:nix-community/NUR/8598ddca549368eb1def4b907d3590258be7fc69' (2025-07-27) • Updated input 'my-nixpkgs/nur/flake-parts': 'github:hercules-ci/flake-parts/32ea77a06711b758da0ad9bd6a844c5740a87abd' (2025-02-01) → 'github:hercules-ci/flake-parts/644e0fc48951a860279da645ba77fe4a6e814c5e' (2025-07-21) • Updated input 'my-nixpkgs/nur/nixpkgs': 'github:nixos/nixpkgs/0196c0175e9191c474c26ab5548db27ef5d34b05' (2025-02-24) → 'github:nixos/nixpkgs/7fd36ee82c0275fb545775cc5e4d30542899511d' (2025-07-25) • Removed input 'my-nixpkgs/nur/treefmt-nix' • Removed input 'my-nixpkgs/nur/treefmt-nix/nixpkgs' • Updated input 'nixpkgs': 'github:NixOS/nixpkgs/3a05eebede89661660945da1f151959900903b6a' (2025-02-26) → 'github:NixOS/nixpkgs/6027c30c8e9810896b92429f0092f624f7b1aace' (2025-07-25) | |||
| 2025-07-27 | publications: files: fix script | aristote | |
| 2025-07-27 | reference files: add talks | aristote | |
| 2025-07-27 | normalize references | aristote | |
| 2025-07-27 | Publications -> Writings | aristote | |
| 2025-07-27 | publications: fix export | aristote | |
| 2025-07-27 | devenv: update | aristote | |
| • Updated input 'devenv': 'github:cachix/devenv/4000b0153c6f54a57368c0b066aaa0024450618c?dir=src/modules' (2025-02-26) → 'github:cachix/devenv/8a92f0a645f8c6ee1653a492abc0be3556b0202d?dir=src/modules' (2025-07-25) • Updated input 'git-hooks': 'github:cachix/git-hooks.nix/9364dc02281ce2d37a1f55b6e51f7c0f65a75f17' (2025-01-21) → 'github:cachix/git-hooks.nix/16ec914f6fb6f599ce988427d9d94efddf25fe6d' (2025-06-24) • Updated input 'git-hooks/flake-compat': 'github:edolstra/flake-compat/ff81ac966bb2cae68946d5ed5fc4994f96d0ffec' (2024-12-04) → 'github:edolstra/flake-compat/9100a0f413b0c601e0533d1d94ffd501ce2e7885' (2025-05-12) • Updated input 'my-nixpkgs': 'github:qaristote/my-nixpkgs/fc9766e6b3bd039376d5a446b55d03bd0a0b267b' (2025-02-26) → 'github:qaristote/my-nixpkgs/2a8763191aed7bc2db4fc478804d80420c542b3b' (2025-07-22) • Updated input 'my-nixpkgs/flake-parts': 'github:hercules-ci/flake-parts/32ea77a06711b758da0ad9bd6a844c5740a87abd' (2025-02-01) → 'github:hercules-ci/flake-parts/644e0fc48951a860279da645ba77fe4a6e814c5e' (2025-07-21) • Updated input 'my-nixpkgs/flake-parts/nixpkgs-lib': 'https://github.com/NixOS/nixpkgs/archive/072a6db25e947df2f31aab9eccd0ab75d5b2da11.tar.gz?narHash=sha256-vJzFZGaCpnmo7I6i416HaBLpC%2BhvcURh/BQwROcGIp8%3D' (2025-02-16) → 'github:nix-community/nixpkgs.lib/0f36c44e01a6129be94e3ade315a5883f0228a6e' (2025-07-27) • Updated input 'my-nixpkgs/nixpkgs': 'github:NixOS/nixpkgs/3a05eebede89661660945da1f151959900903b6a' (2025-02-26) → 'github:NixOS/nixpkgs/6027c30c8e9810896b92429f0092f624f7b1aace' (2025-07-25) • Updated input 'my-nixpkgs/nur': 'github:nix-community/NUR/2e80b737688496c5a3b0557009c8aa0bb5d0f98c' (2025-02-27) → 'github:nix-community/NUR/8598ddca549368eb1def4b907d3590258be7fc69' (2025-07-27) • Updated input 'my-nixpkgs/nur/flake-parts': 'github:hercules-ci/flake-parts/32ea77a06711b758da0ad9bd6a844c5740a87abd' (2025-02-01) → 'github:hercules-ci/flake-parts/644e0fc48951a860279da645ba77fe4a6e814c5e' (2025-07-21) • Updated input 'my-nixpkgs/nur/nixpkgs': 'github:nixos/nixpkgs/0196c0175e9191c474c26ab5548db27ef5d34b05' (2025-02-24) → 'github:nixos/nixpkgs/7fd36ee82c0275fb545775cc5e4d30542899511d' (2025-07-25) • Removed input 'my-nixpkgs/nur/treefmt-nix' • Removed input 'my-nixpkgs/nur/treefmt-nix/nixpkgs' • Updated input 'nixpkgs': 'github:NixOS/nixpkgs/3a05eebede89661660945da1f151959900903b6a' (2025-02-26) → 'github:NixOS/nixpkgs/6027c30c8e9810896b92429f0092f624f7b1aace' (2025-07-25) | |||
| 2025-07-27 | move back to json and rename | aristote | |
| 2025-07-27 | importYAML -> importTOML | aristote | |
| 2025-07-26 | new publication format | aristote | |
| 2025-07-26 | change status of some preprints | aristote | |
| 2025-07-26 | move hal version of wdl2025 out of selected | aristote | |
| 2025-07-19 | publications: monotone wdl: update | aristote | |
| 2025-05-06 | add calco preprint | aristote | |
| 2025-04-28 | publications: add lics 2025 preprint | aristote | |
 |
index : info | |
| Personal information packaged in a Nix attribute set. |
| summaryrefslogtreecommitdiff |