aboutsummaryrefslogtreecommitdiffstats
path: root/lib (follow)
Commit message (Expand)AuthorAgeFilesLines
* dune fmtMarcos Magueta2026-09-2549-1089/+1025
* Merge branch 'branch-registration'Estevan Castilho2026-09-2620-42/+138
|\
| * Split that up a littleEstevan Castilho2026-09-251-15/+20
| * Actually register the multigroupEstevan Castilho2026-09-245-11/+42
| * Multigroup registration stubEstevan Castilho2026-09-243-8/+22
| * Make objects printableEstevan Castilho2026-09-2412-3/+31
| * `assoc` on associativesEstevan Castilho2026-09-244-16/+34
* | allow to close storageMarcos Magueta2026-09-232-0/+5
* | remove dead APIMarcos Magueta2026-09-236-36/+0
* | lift retaining, membership and mode checks out of ephemeral relationMarcos Magueta2026-09-2312-81/+107
* | refactor ephemeral and subs relationsMarcos Magueta2026-09-237-79/+70
* | make subst relation carry the modes instead of build on every callMarcos Magueta2026-09-231-6/+12
* | 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
* | release decrement in the same operationMarcos Magueta2026-09-231-2/+1
* | scan possily leaks its transaction before its first fetchMarcos Magueta2026-09-232-3/+3
* | make scan use rdonly transaction on the cursor to avoid deadlockMarcos Magueta2026-09-233-4/+17
* | provenanceMarcos Magueta2026-09-204-4/+18
* | generate and mode functionality for substantial relationMarcos Magueta2026-09-202-10/+28
* | ephemeral relation kernel objectMarcos Magueta2026-09-202-0/+114
* | formatMarcos Magueta2026-09-203-7/+6
* | generative protocolMarcos Magueta2026-09-202-0/+60
* | mode concept for affordancesMarcos Magueta2026-09-202-0/+65
* | cardinality concept for relationsMarcos Magueta2026-09-202-0/+41
|/
* Associatives out of object propertiesEstevan Castilho2026-09-193-1/+37
* Associative collections on top of prolly treesEstevan Castilho2026-09-197-37/+77
* Immutable associative collection protocolEstevan Castilho2026-09-194-0/+30
* Do not assume that the hash of an object is its storage addressEstevan Castilho2026-09-199-18/+64
* test mem @ merkle interface without decoding & missing value errorMarcos Magueta2026-09-182-17/+8
* make substantial relation use merkle.interfaceMarcos Magueta2026-09-182-20/+14
* substantial relation context removal and test fixMarcos Magueta2026-09-181-1/+1
* fix lambda test and executeMarcos Magueta2026-09-181-3/+5
* WIP forsake contextEstevan Castilho2026-09-179-94/+66
* Use handles as reference pointsEstevan Castilho2026-09-171-14/+12
* Implement `resolve` in terms of the path utilitiesEstevan Castilho2026-09-172-18/+2
* Merge branch 'master' into evaluatorEstevan Castilho2026-09-172-13/+44
|\
| * Forsake `lookup'`Estevan Castilho2026-09-172-19/+20
| * Directory and registry ergonomicsEstevan Castilho2026-09-122-0/+30
* | adressed todos and remove dumb commentMarcos Magueta2026-09-131-12/+0
* | lambda latinMarcos Magueta2026-09-131-0/+90
* | actual lazy substantial relationMarcos Magueta2026-09-131-23/+15
* | fol evaluatorMarcos Magueta2026-09-135-33/+91
* | appropriate enumeration for tuple split on object and residentMarcos Magueta2026-09-1311-205/+124
* | delete remaining trashMarcos Magueta2026-09-136-66/+17
* | rework on tuple non resident object with schematics as protocolMarcos Magueta2026-09-1310-301/+172
* | runtime contextMarcos Magueta2026-09-112-0/+68
* | ephemeral relation and generator at the kernelMarcos Magueta2026-09-114-0/+173
* | substantial relation and schematicsMarcos Magueta2026-09-113-6/+83