aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/SubstantialRelation.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* 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