aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/SubstantialRelation.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* abstracting headers and merkle of list constructionMarcos Magueta2026-10-121-7/+1
|
* merge lifecycle-ergonomics and rework modes and contain checksMarcos Magueta2026-10-111-0/+7
|\
* | ephemeral literal, relation heading, subs rel stored & lmdb 1GB mapMarcos Magueta2026-10-071-0/+16
|/
* ephemeral and substantial relation storage routingMarcos Magueta2026-10-011-4/+14
|
* ephemeral relations as outputs of FOL and program overhaulMarcos Magueta2026-09-261-101/+29
|
* wip ephemeral relations as program consumersMarcos Magueta2026-09-251-1/+0
|
* dune fmtMarcos Magueta2026-09-251-15/+10
|
* Merge branch 'branch-registration'Estevan Castilho2026-09-261-0/+3
|\
| * Make objects printableEstevan Castilho2026-09-241-0/+3
| |
* | remove dead APIMarcos Magueta2026-09-231-2/+0
| |
* | lift retaining, membership and mode checks out of ephemeral relationMarcos Magueta2026-09-231-2/+2
| |
* | refactor ephemeral and subs relationsMarcos Magueta2026-09-231-34/+22
| |
* | make subst relation carry the modes instead of build on every callMarcos Magueta2026-09-231-6/+12
| |
* | scan possily leaks its transaction before its first fetchMarcos Magueta2026-09-231-1/+1
| |
* | make scan use rdonly transaction on the cursor to avoid deadlockMarcos Magueta2026-09-231-1/+1
| |
* | provenanceMarcos Magueta2026-09-201-2/+3
| |
* | generate and mode functionality for substantial relationMarcos Magueta2026-09-201-2/+20
|/
* test mem @ merkle interface without decoding & missing value errorMarcos Magueta2026-09-181-2/+1
|
* make substantial relation use merkle.interfaceMarcos Magueta2026-09-181-18/+12
|
* substantial relation context removal and test fixMarcos Magueta2026-09-181-1/+1
|
* actual lazy substantial relationMarcos Magueta2026-09-131-23/+15
|
* appropriate enumeration for tuple split on object and residentMarcos Magueta2026-09-131-20/+31
|
* substantial relation and schematicsMarcos Magueta2026-09-111-5/+59
|
* Multigroup objectsEstevan Castilho2026-09-111-3/+7
|
* Substantial relation kernel objectMarcos Magueta2026-09-031-0/+147
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 17:02:06 +0000