summaryrefslogtreecommitdiff
path: root/publications
AgeCommit message (Collapse)Author
2025-07-29publications: calco proceedingsaristote
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-25stacs 2025 paperaristote
2025-02-16publications: export inside a packagequentin@aristote.fr
2025-02-16publications: updatequentin@aristote.fr
2024-11-04fall 2024: new paperaristote
2024-02-28publications: add selected sectionquentin@aristote.fr
2024-02-28update publicationsquentin@aristote.fr
2023-09-17reformat codequentin@aristote.fr
2023-08-22i am now a phd studentquentin@aristote.fr
2023-03-01publications: fix smtlib abstractQuentin Aristote
2023-02-15fix smtlib-backends metadataQuentin Aristote
2023-02-15add smtlib-backends blogpostQuentin Aristote
2022-11-11add initial dataQuentin Aristote
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-25 07:03:07 +0000