aboutsummaryrefslogtreecommitdiffstats
path: root/test/unit/kernel/EphemeralRelation.ml (unfollow)
Commit message (Collapse)AuthorFilesLines
2026-10-01fix multigroup deriving and testsMarcos Magueta1-4/+20
2026-09-27plug session test and ephemeral relation test fixMarcos Magueta1-3/+3
2026-09-26ephemeral relations as outputs of FOL and program overhaulMarcos Magueta1-74/+27
2026-09-25dune fmtMarcos Magueta1-19/+17
2026-09-23fix testsMarcos Magueta1-0/+151