aboutsummaryrefslogtreecommitdiffstats
path: root/test/unit/kernel/SubstantialRelation.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* share the condition check and employee fixture across testsMarcos Magueta4 days1-30/+11
|
* check tuples against the heading before storingMarcos Magueta4 days1-9/+13
|
* update tests and add beam testsMarcos Magueta4 days1-1/+62
|
* relation scan with enumerable and releaseMarcos Magueta2026-10-121-5/+3
|
* ephemeral relations as outputs of FOL and program overhaulMarcos Magueta2026-09-261-22/+32
|
* dune fmtMarcos Magueta2026-09-251-7/+5
|
* make substantial relation use merkle.interfaceMarcos Magueta2026-09-181-4/+3
|
* fol evaluatorMarcos Magueta2026-09-131-20/+31
|
* appropriate enumeration for tuple split on object and residentMarcos Magueta2026-09-131-1/+1
|
* Substantial relation kernel objectMarcos Magueta2026-09-031-0/+44