aboutsummaryrefslogtreecommitdiffstats
path: root/lib (follow)
Commit message (Collapse)AuthorAgeFilesLines
* adressed todos and remove dumb commentMarcos Magueta2026-09-131-12/+0
|
* lambda latinMarcos Magueta2026-09-131-0/+90
|
* actual lazy substantial relationMarcos Magueta2026-09-131-23/+15
|
* fol evaluatorMarcos Magueta2026-09-135-33/+91
|
* appropriate enumeration for tuple split on object and residentMarcos Magueta2026-09-1311-205/+124
|
* delete remaining trashMarcos Magueta2026-09-136-66/+17
|
* rework on tuple non resident object with schematics as protocolMarcos Magueta2026-09-1310-301/+172
|
* runtime contextMarcos Magueta2026-09-112-0/+68
|
* ephemeral relation and generator at the kernelMarcos Magueta2026-09-114-0/+173
|
* substantial relation and schematicsMarcos Magueta2026-09-113-6/+83
|
* path utilities on kernel for lookup on registryMarcos Magueta2026-09-112-13/+17
|
* tuple concept based atop of maps for attributesMarcos Magueta2026-09-112-0/+108
|
* cursor and contextMarcos Magueta2026-09-114-0/+114
|
* evaluator and program protocolsMarcos Magueta2026-09-114-0/+61
|
* heading concept for tuple handlingMarcos Magueta2026-09-112-0/+124
|
* schematics protocolMarcos Magueta2026-09-112-0/+48
|
* relation with just contains and require handleMarcos Magueta2026-09-112-7/+14
|
* enumerable protocolMarcos Magueta2026-09-112-0/+34
|
* Multigroup objectsEstevan Castilho2026-09-1110-11/+176
|
* Allow users to defer persistence when constructing tree nodesEstevan Castilho2026-09-071-16/+56
|
* LMDB safe reading through transactions and protecting pointers from GCMarcos Magueta2026-09-051-11/+34
| | | | | | * execution doc rewrite based on multi evaluators * protect lmdb's buffer from ocaml's lifetime * appropriate comment on Sys.opaque_identity * transaction ending to prevent harmfull calls to stale pointers
* Substantial relation kernel objectMarcos Magueta2026-09-034-0/+231
|
* fix initialization persistenceMarcos Magueta2026-09-022-4/+10
|
* Branch registrationEstevan Castilho2026-09-037-32/+60
|
* Make it build againEstevan Castilho2026-08-293-29/+16
|
* Identity mixinsEstevan Castilho2026-08-294-2/+22
|
* Make registration more like a CASEstevan Castilho2026-08-292-9/+4
|
* Handle equalityEstevan Castilho2026-08-292-0/+6
|
* Branch serializationEstevan Castilho2026-08-278-8/+125
|
* Typed storage pointersEstevan Castilho2026-08-232-0/+21
|
* Ordering is now under UtilitiesEstevan Castilho2026-08-234-10/+6
|
* The branch manager should persist changes to the rootEstevan Castilho2026-08-233-2/+14
|
* Register the branch manager as part of the object treeEstevan Castilho2026-08-235-162/+50
|
* Allow directory operations to fail if neededEstevan Castilho2026-08-234-9/+11
|
* Merge branch 'ocaml-rewrite' into new-obEstevan Castilho2026-08-235-11/+257
|\
| * B-tree iteration constructs (#49)Estevan Castilho2026-08-234-13/+125
| | | | | | | | | | | | | | | | | | | | | | * Generic `sequence`, finger tree `map2`/`zip` * `fold_left` on B-trees * Finger tree `join` * `iter`, more tests * We do not need `keys` when traversing through a trunk node
| * Initialization with Branch State and IndexMarcos Magueta2026-08-017-0/+295
| |
* | Lifecycles and namespacesEstevan Castilho2026-08-236-0/+107
| |
* | Make the interfaces openEstevan Castilho2026-08-236-6/+6
| |
* | The registry protocolEstevan Castilho2026-08-232-0/+29
| |
* | The directory protocolEstevan Castilho2026-08-232-0/+29
| |
* | The handle protocolEstevan Castilho2026-08-232-0/+61
| |
* | Tidy upEstevan Castilho2026-08-2342-1380/+175
| |
* | Make `update` a bit more like compare-and-swapEstevan Castilho2026-08-232-19/+23
| |
* | BranchManager sketchEstevan Castilho2026-08-236-180/+37
| |
* | Allow storage backend addresses to be labels rather than hashesEstevan Castilho2026-08-235-14/+22
| |
* | BranchManager stubsEstevan Castilho2026-08-232-0/+40
| |
* | Move StringKey out of the testsEstevan Castilho2026-08-231-0/+8
| |
* | Atomic swap (and monadic swap)Estevan Castilho2026-08-232-0/+23
| |
* | Avoid exporting `persist`Estevan Castilho2026-08-234-5/+6
| |