aboutsummaryrefslogtreecommitdiffstats
path: root/lib/protocols/Relation.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* merge lifecycle-ergonomics and rework modes and contain checksMarcos Magueta2026-10-111-0/+2
|\
* | admission protocol for multigroup denial checksMarcos Magueta2026-10-091-3/+1
| |
* | ephemeral literal, relation heading, subs rel stored & lmdb 1GB mapMarcos Magueta2026-10-071-6/+8
| |
* | drop journal in favor of local branch historyMarcos Magueta2026-10-071-0/+18
|/
* ephemeral relations as outputs of FOL and program overhaulMarcos Magueta2026-09-261-4/+0
|
* appropriate enumeration for tuple split on object and residentMarcos Magueta2026-09-131-2/+0
|
* relation with just contains and require handleMarcos Magueta2026-09-111-3/+10
|
* Substantial relation kernel objectMarcos Magueta2026-09-031-0/+18