aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* admission protocol for multigroup denial checksMarcos Magueta2026-10-0915-40/+164
|
* testsMarcos Magueta2026-10-083-10/+33
|
* purge schema in favor of simple namespaceMarcos Magueta2026-10-0810-330/+189
|
* fix testsdrop-journalMarcos Magueta2026-10-088-178/+274
|
* 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
| |
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 17:57:48 +0000