aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/EphemeralRelation.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* ephemeral relations as outputs of FOL and program overhaulMarcos Magueta2026-09-261-20/+26
|
* wip ephemeral relations as program consumersMarcos Magueta2026-09-251-71/+27
|
* dune fmtMarcos Magueta2026-09-251-1/+1
|
* lift retaining, membership and mode checks out of ephemeral relationMarcos Magueta2026-09-231-75/+7
|
* refactor ephemeral and subs relationsMarcos Magueta2026-09-231-26/+20
|
* release edges on mode failureMarcos Magueta2026-09-231-1/+3
|
* stop treating tuple as a partial bind and consider typeMarcos Magueta2026-09-231-9/+22
|
* generate and contains ignoring declared enumeration modeMarcos Magueta2026-09-231-4/+31
|
* fix cursor outliving ephemeral relationMarcos Magueta2026-09-231-2/+29
|
* ephemeral relation kernel objectMarcos Magueta2026-09-201-0/+78
|
* appropriate enumeration for tuple split on object and residentMarcos Magueta2026-09-131-87/+0
|
* ephemeral relation and generator at the kernelMarcos Magueta2026-09-111-0/+87
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 17:47:27 +0000