summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2025-04-28publications: add lics 2025 preprintaristote
2025-02-27aristoteMonotoneWeakDistributive2025: add abstractquentin@aristote.fr
2025-02-27devenv: updatequentin@aristote.fr
• Updated input 'devenv': 'github:cachix/devenv/9e4003b2702483bd962dac3d4ff43e8dafb93cda?dir=src/modules' (2025-02-25) → 'github:cachix/devenv/4000b0153c6f54a57368c0b066aaa0024450618c?dir=src/modules' (2025-02-26) • Updated input 'my-nixpkgs': 'github:qaristote/my-nixpkgs/95134b39dbeb11626475e8416d6aee7807dcdeca' (2025-02-23) → 'github:qaristote/my-nixpkgs/fc9766e6b3bd039376d5a446b55d03bd0a0b267b' (2025-02-26) • 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-07) → 'https://github.com/NixOS/nixpkgs/archive/072a6db25e947df2f31aab9eccd0ab75d5b2da11.tar.gz?narHash=sha256-vJzFZGaCpnmo7I6i416HaBLpC%2BhvcURh/BQwROcGIp8%3D' (2025-02-16) • Updated input 'my-nixpkgs/nixpkgs': 'github:NixOS/nixpkgs/d9b69c3ec2a2e2e971c534065bdd53374bd68b97' (2025-02-24) → 'github:NixOS/nixpkgs/3a05eebede89661660945da1f151959900903b6a' (2025-02-26) • Updated input 'my-nixpkgs/nur': 'github:nix-community/NUR/e9baa7332bec91731e3b791919bbf53f65b300ef' (2025-02-25) → 'github:nix-community/NUR/2e80b737688496c5a3b0557009c8aa0bb5d0f98c' (2025-02-27) • Updated input 'nixpkgs': 'github:NixOS/nixpkgs/d9b69c3ec2a2e2e971c534065bdd53374bd68b97' (2025-02-24) → 'github:NixOS/nixpkgs/3a05eebede89661660945da1f151959900903b6a' (2025-02-26)
2025-02-25stacs 2025 paperaristote
2025-02-25devenv: updatearistote
• Updated input 'devenv': 'github:cachix/devenv/1235cd13f47df6ad19c8a183c6eabc1facb7c399?dir=src/modules' (2025-02-13) → 'github:cachix/devenv/9e4003b2702483bd962dac3d4ff43e8dafb93cda?dir=src/modules' (2025-02-25) • Removed input 'git-hooks' • Removed input 'git-hooks/flake-compat' • Removed input 'git-hooks/gitignore' • Removed input 'git-hooks/gitignore/nixpkgs' • Removed input 'git-hooks/nixpkgs' • Updated input 'my-nixpkgs': 'github:qaristote/my-nixpkgs/e4fdb9e23fa4d0ac7a7394c281d5402bcff83cc7' (2025-02-14) → 'github:qaristote/my-nixpkgs/95134b39dbeb11626475e8416d6aee7807dcdeca' (2025-02-23) • 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) → 'https://github.com/NixOS/nixpkgs/archive/072a6db25e947df2f31aab9eccd0ab75d5b2da11.tar.gz?narHash=sha256-vJzFZGaCpnmo7I6i416HaBLpC%2BhvcURh/BQwROcGIp8%3D' (2025-02-07) • Updated input 'my-nixpkgs/nixpkgs': 'github:NixOS/nixpkgs/ba0939c506a03c60a765cd7f7c43794816540eec' (2025-02-13) → 'github:NixOS/nixpkgs/d9b69c3ec2a2e2e971c534065bdd53374bd68b97' (2025-02-24) • Updated input 'my-nixpkgs/nur': 'github:nix-community/NUR/cda60b577af4611c6ddcc5039c7ac73d0ed27cf6' (2025-02-16) → 'github:nix-community/NUR/e9baa7332bec91731e3b791919bbf53f65b300ef' (2025-02-25) • Updated input 'my-nixpkgs/nur/nixpkgs': 'github:nixos/nixpkgs/8bb37161a0488b89830168b81c48aed11569cb93' (2025-02-15) → 'github:nixos/nixpkgs/0196c0175e9191c474c26ab5548db27ef5d34b05' (2025-02-24) • Updated input 'my-nixpkgs/nur/treefmt-nix': 'github:numtide/treefmt-nix/4f09b473c936d41582dd744e19f34ec27592c5fd' (2025-02-07) → 'github:numtide/treefmt-nix/3d0579f5cc93436052d94b73925b48973a104204' (2025-02-17) • Updated input 'nixpkgs': 'github:NixOS/nixpkgs/ba0939c506a03c60a765cd7f7c43794816540eec' (2025-02-13) → 'github:NixOS/nixpkgs/d9b69c3ec2a2e2e971c534065bdd53374bd68b97' (2025-02-24) • Updated input 'pre-commit-hooks': follows 'git-hooks' → 'github:cachix/pre-commit-hooks.nix/9364dc02281ce2d37a1f55b6e51f7c0f65a75f17' (2025-01-21) • Added input 'pre-commit-hooks/flake-compat': 'github:edolstra/flake-compat/ff81ac966bb2cae68946d5ed5fc4994f96d0ffec' (2024-12-04) • Added input 'pre-commit-hooks/gitignore': 'github:hercules-ci/gitignore.nix/637db329424fd7e46cf4185293b9cc8c88c95394' (2024-02-28) • Added input 'pre-commit-hooks/gitignore/nixpkgs': follows 'pre-commit-hooks/nixpkgs' • Added input 'pre-commit-hooks/nixpkgs': follows 'nixpkgs'
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
2023-04-24basics: address: switch to irifaristote
2023-04-17basics: email: change academic addressqaristote
2023-03-14keys: pgp: add irif identityquentin@aristote.fr
2023-03-01publications: fix smtlib abstractQuentin Aristote
2023-03-01flake.lock: UpdateQuentin Aristote
Flake lock file updates: • Updated input 'nixpkgs': 'github:NixOS/nixpkgs/0a25e2c87e784bf7e06e7833ec0e06d34836959a' (2023-02-14) → 'github:NixOS/nixpkgs/9e56d6ec92c8fb4192f1392aa5c4101ad77f2070' (2023-02-28)
2023-02-26end tweag internship and start irif oneQuentin Aristote
in particular, assets now come with a type to differentiate between publications and software
2023-02-15fix smtlib-backends metadataQuentin Aristote
2023-02-15flake.lock: UpdateQuentin Aristote
Flake lock file updates: • Updated input 'flake-utils': 'github:numtide/flake-utils/5aed5285a952e0b949eb3ba02c12fa4fcfef535f' (2022-11-02) → 'github:numtide/flake-utils/3db36a8b464d0c4532ba1c7dda728f4576d6d073' (2023-02-13) • Updated input 'nixpkgs': 'github:NixOS/nixpkgs/5ca8e2e9e1fa5e66a749b39261ad6bd0e07bc87f' (2022-11-12) → 'github:NixOS/nixpkgs/0a25e2c87e784bf7e06e7833ec0e06d34836959a' (2023-02-14)
2023-02-15add smtlib-backends blogpostQuentin Aristote
2023-02-04experience: sell my work more in internships' descriptionsQuentin Aristote
2023-02-04correct wording in bibli-paris abstractQuentin Aristote
2022-12-17add softwareQuentin Aristote
2022-11-16files: avatar: remove exifQuentin Aristote
2022-11-13flake: use utils from registryQuentin Aristote
2022-11-13update input nixpkgsQuentin Aristote
2022-11-13basics: profiles: restructure and add iconsQuentin Aristote
2022-11-12basics: reword positionQuentin Aristote
2022-11-11add flake lockQuentin Aristote
2022-11-11add flakeQuentin Aristote
2022-11-11add initial dataQuentin Aristote
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-25 07:00:48 +0000