aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel (follow)
Commit message (Collapse)AuthorAgeFilesLines
* abstracting headers and merkle of list constructionMarcos Magueta2026-10-125-26/+25
|
* tests and some pointer for program on ephemeralMarcos Magueta2026-10-112-30/+37
|
* merge lifecycle-ergonomics and rework modes and contain checksMarcos Magueta2026-10-1112-67/+106
|\
| * Stylelifecycle-ergonomicsEstevan Castilho2026-10-104-13/+8
| |
| * Make the autorelease pool opt-inEstevan Castilho2026-10-101-4/+3
| |
| * Use an autorelease pool when walking down a pathEstevan Castilho2026-10-101-19/+14
| |
| * Make sessions counted, rather than exclusiveEstevan Castilho2026-10-101-1/+3
| |
| * Make namespaces take ownership of the handles it is givenEstevan Castilho2026-10-102-5/+12
| |
| * Objects with a null lifecycle should not have a destructorEstevan Castilho2026-10-081-2/+2
| |
| * Log whenever managed objects are garbage collectedEstevan Castilho2026-10-082-0/+5
| |
* | rework store ephemeral relation under program and fail at path lookMarcos Magueta2026-10-104-61/+72
| |
* | 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
| |