aboutsummaryrefslogtreecommitdiffstats
path: root/test/unit/kernel/EphemeralRelation.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* tests and some pointer for program on ephemeralMarcos Magueta2026-10-111-7/+29
|
* fix multigroup deriving and testsMarcos Magueta2026-10-011-4/+20
|
* plug session test and ephemeral relation test fixMarcos Magueta2026-09-271-3/+3
|
* ephemeral relations as outputs of FOL and program overhaulMarcos Magueta2026-09-261-74/+27
|
* dune fmtMarcos Magueta2026-09-251-19/+17
|
* fix testsMarcos Magueta2026-09-231-0/+151