aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* | rework evaluators and add schema scopeMarcos Magueta2026-10-0816-168/+465
* | scope and source for evaluatorsMarcos Magueta2026-10-075-51/+305
* | scratch root for testing with subsystems explorerMarcos Magueta2026-10-072-0/+30
* | ephemeral literal, relation heading, subs rel stored & lmdb 1GB mapMarcos Magueta2026-10-075-13/+58
* | merkle removeMarcos Magueta2026-10-071-2/+47
* | drop journal in favor of local branch historyMarcos Magueta2026-10-0729-526/+399
* | journal for the websitejournalMarcos Magueta2026-10-0513-0/+657
|/
* Merge branch 'relation-bipartite-registration'Marcos Magueta2026-10-0211-31/+406
|\
| * 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
* | improve readmeMarcos Magueta2026-10-021-27/+164
|/
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 01:11:53 +0000