aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel (follow)
Commit message (Expand)AuthorAgeFilesLines
* programs as invokable imagesMarcos Magueta2026-10-093-153/+60
* admission protocol for multigroup denial checksMarcos Magueta2026-10-099-37/+124
* testsMarcos Magueta2026-10-081-0/+3
* purge schema in favor of simple namespaceMarcos Magueta2026-10-088-318/+183
* rework evaluators and add schema scopeMarcos Magueta2026-10-0816-168/+465
* scope and source for evaluatorsMarcos Magueta2026-10-074-45/+298
* ephemeral literal, relation heading, subs rel stored & lmdb 1GB mapMarcos Magueta2026-10-072-7/+41
* merkle removeMarcos Magueta2026-10-071-2/+47
* drop journal in favor of local branch historyMarcos Magueta2026-10-0719-370/+348
* journal for the websitejournalMarcos Magueta2026-10-056-0/+375
* fix multigroup deriving and testsMarcos Magueta2026-10-011-0/+22
* FOL program encoding and decodingMarcos Magueta2026-10-012-0/+4
* ephemeral and substantial relation storage routingMarcos Magueta2026-10-013-14/+152
* fmtMarcos Magueta2026-09-271-0/+1
* session exclusive lifetimeMarcos Magueta2026-09-274-8/+24
* change paths to use \Marcos Magueta2026-09-262-4/+3
* add session object and protocol with pinningMarcos Magueta2026-09-263-0/+31
* ephemeral relations as outputs of FOL and program overhaulMarcos Magueta2026-09-265-213/+56
* wip ephemeral relations as program consumersMarcos Magueta2026-09-252-72/+27
* dune fmtMarcos Magueta2026-09-2521-791/+839
* Merge branch 'branch-registration'Estevan Castilho2026-09-2614-39/+116
|\
| * 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-248-0/+17
| * `assoc` on associativesEstevan Castilho2026-09-242-16/+26
* | remove dead APIMarcos Magueta2026-09-232-10/+0
* | lift retaining, membership and mode checks out of ephemeral relationMarcos Magueta2026-09-234-77/+31
* | refactor ephemeral and subs relationsMarcos Magueta2026-09-235-71/+58
* | 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-231-1/+1
* | provenanceMarcos Magueta2026-09-201-2/+3
* | generate and mode functionality for substantial relationMarcos Magueta2026-09-202-10/+28
* | ephemeral relation kernel objectMarcos Magueta2026-09-202-0/+114
|/
* Associatives out of object propertiesEstevan Castilho2026-09-193-1/+37
* Associative collections on top of prolly treesEstevan Castilho2026-09-194-23/+70
* Do not assume that the hash of an object is its storage addressEstevan Castilho2026-09-192-9/+20
* 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
* 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
* | actual lazy substantial relationMarcos Magueta2026-09-131-23/+15
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 21:45:23 +0000