aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* FOL test with program instantiationrelation-bipartite-registrationMarcos Magueta2026-10-021-1/+93
* fix multigroup deriving and testsMarcos Magueta2026-10-014-14/+74
* FOL program encoding and decodingMarcos Magueta2026-10-014-2/+87
* ephemeral and substantial relation storage routingMarcos Magueta2026-10-013-14/+152
* follow only a snapshot instead of the dead branchsessionMarcos Magueta2026-09-273-9/+7
* drop session require in favor of handle'sMarcos Magueta2026-09-273-11/+1
* fmtMarcos Magueta2026-09-271-0/+1
* plug session test and ephemeral relation test fixMarcos Magueta2026-09-272-3/+4
* ensure we create missing directories testMarcos Magueta2026-09-271-1/+8
* session testMarcos Magueta2026-09-271-0/+86
* session exclusive lifetimeMarcos Magueta2026-09-274-8/+24
* ensure directory pathMarcos Magueta2026-09-261-0/+18
* change paths to use \Marcos Magueta2026-09-262-4/+3
* add session object and protocol with pinningMarcos Magueta2026-09-266-2/+67
* ephemeral relations as outputs of FOL and program overhaulMarcos Magueta2026-09-2621-643/+360
* wip ephemeral relations as program consumersMarcos Magueta2026-09-254-189/+27
* dune fmtMarcos Magueta2026-09-2558-1190/+1123
* Merge branch 'branch-registration'Estevan Castilho2026-09-2621-44/+143
|\
| * Split that up a littleEstevan Castilho2026-09-251-15/+20
| * Actually register the multigroupEstevan Castilho2026-09-246-12/+43
| * Multigroup registration stubEstevan Castilho2026-09-244-9/+26
| * Make objects printableEstevan Castilho2026-09-2412-3/+31
| * `assoc` on associativesEstevan Castilho2026-09-244-16/+34
* | windows gitignoreMarcos Magueta2026-09-231-1/+2
* | cardinality testsMarcos Magueta2026-09-232-0/+26
* | fix testsMarcos Magueta2026-09-234-10/+163
* | 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