| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | make substantial relation use merkle.interface | Marcos Magueta | 2026-09-18 | 2 | -20/+14 |
| | | |||||
| * | substantial relation context removal and test fix | Marcos Magueta | 2026-09-18 | 1 | -1/+1 |
| | | |||||
| * | fix lambda test and execute | Marcos Magueta | 2026-09-18 | 1 | -3/+5 |
| | | |||||
| * | WIP forsake context | Estevan Castilho | 2026-09-17 | 9 | -94/+66 |
| | | |||||
| * | Use handles as reference points | Estevan Castilho | 2026-09-17 | 1 | -14/+12 |
| | | |||||
| * | Implement `resolve` in terms of the path utilities | Estevan Castilho | 2026-09-17 | 2 | -18/+2 |
| | | |||||
| * | Merge branch 'master' into evaluator | Estevan Castilho | 2026-09-17 | 2 | -13/+44 |
| |\ | |||||
| | * | Forsake `lookup'` | Estevan Castilho | 2026-09-17 | 2 | -19/+20 |
| | | | |||||
| | * | Directory and registry ergonomics | Estevan Castilho | 2026-09-12 | 2 | -0/+30 |
| | | | |||||
| * | | adressed todos and remove dumb comment | Marcos Magueta | 2026-09-13 | 1 | -12/+0 |
| | | | |||||
| * | | lambda latin | Marcos Magueta | 2026-09-13 | 1 | -0/+90 |
| | | | |||||
| * | | actual lazy substantial relation | Marcos Magueta | 2026-09-13 | 1 | -23/+15 |
| | | | |||||
| * | | fol evaluator | Marcos Magueta | 2026-09-13 | 5 | -33/+91 |
| | | | |||||
| * | | appropriate enumeration for tuple split on object and resident | Marcos Magueta | 2026-09-13 | 11 | -205/+124 |
| | | | |||||
| * | | delete remaining trash | Marcos Magueta | 2026-09-13 | 6 | -66/+17 |
| | | | |||||
| * | | rework on tuple non resident object with schematics as protocol | Marcos Magueta | 2026-09-13 | 10 | -301/+172 |
| | | | |||||
| * | | runtime context | Marcos Magueta | 2026-09-11 | 2 | -0/+68 |
| | | | |||||
| * | | ephemeral relation and generator at the kernel | Marcos Magueta | 2026-09-11 | 4 | -0/+173 |
| | | | |||||
| * | | substantial relation and schematics | Marcos Magueta | 2026-09-11 | 3 | -6/+83 |
| | | | |||||
| * | | path utilities on kernel for lookup on registry | Marcos Magueta | 2026-09-11 | 2 | -13/+17 |
| | | | |||||
| * | | tuple concept based atop of maps for attributes | Marcos Magueta | 2026-09-11 | 2 | -0/+108 |
| | | | |||||
| * | | cursor and context | Marcos Magueta | 2026-09-11 | 4 | -0/+114 |
| | | | |||||
| * | | evaluator and program protocols | Marcos Magueta | 2026-09-11 | 4 | -0/+61 |
| | | | |||||
| * | | heading concept for tuple handling | Marcos Magueta | 2026-09-11 | 2 | -0/+124 |
| | | | |||||
| * | | schematics protocol | Marcos Magueta | 2026-09-11 | 2 | -0/+48 |
| | | | |||||
| * | | relation with just contains and require handle | Marcos Magueta | 2026-09-11 | 2 | -7/+14 |
| | | | |||||
| * | | enumerable protocol | Marcos Magueta | 2026-09-11 | 2 | -0/+34 |
| |/ | |||||
| * | Multigroup objects | Estevan Castilho | 2026-09-11 | 10 | -11/+176 |
| | | |||||
| * | Allow users to defer persistence when constructing tree nodes | Estevan Castilho | 2026-09-07 | 1 | -16/+56 |
| | | |||||
| * | LMDB safe reading through transactions and protecting pointers from GC | Marcos Magueta | 2026-09-05 | 1 | -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 object | Marcos Magueta | 2026-09-03 | 4 | -0/+231 |
| | | |||||
| * | fix initialization persistence | Marcos Magueta | 2026-09-02 | 2 | -4/+10 |
| | | |||||
| * | Branch registration | Estevan Castilho | 2026-09-03 | 7 | -32/+60 |
| | | |||||
| * | Make it build again | Estevan Castilho | 2026-08-29 | 3 | -29/+16 |
| | | |||||
| * | Identity mixins | Estevan Castilho | 2026-08-29 | 4 | -2/+22 |
| | | |||||
| * | Make registration more like a CAS | Estevan Castilho | 2026-08-29 | 2 | -9/+4 |
| | | |||||
| * | Handle equality | Estevan Castilho | 2026-08-29 | 2 | -0/+6 |
| | | |||||
| * | Branch serialization | Estevan Castilho | 2026-08-27 | 8 | -8/+125 |
| | | |||||
| * | Typed storage pointers | Estevan Castilho | 2026-08-23 | 2 | -0/+21 |
| | | |||||
| * | Ordering is now under Utilities | Estevan Castilho | 2026-08-23 | 4 | -10/+6 |
| | | |||||
| * | The branch manager should persist changes to the root | Estevan Castilho | 2026-08-23 | 3 | -2/+14 |
| | | |||||
| * | Register the branch manager as part of the object tree | Estevan Castilho | 2026-08-23 | 5 | -162/+50 |
| | | |||||
| * | Allow directory operations to fail if needed | Estevan Castilho | 2026-08-23 | 4 | -9/+11 |
| | | |||||
| * | Merge branch 'ocaml-rewrite' into new-ob | Estevan Castilho | 2026-08-23 | 5 | -11/+257 |
| |\ | |||||
| | * | B-tree iteration constructs (#49) | Estevan Castilho | 2026-08-23 | 4 | -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 Index | Marcos Magueta | 2026-08-01 | 7 | -0/+295 |
| | | | |||||
| * | | Lifecycles and namespaces | Estevan Castilho | 2026-08-23 | 6 | -0/+107 |
| | | | |||||
| * | | Make the interfaces open | Estevan Castilho | 2026-08-23 | 6 | -6/+6 |
| | | | |||||
| * | | The registry protocol | Estevan Castilho | 2026-08-23 | 2 | -0/+29 |
| | | | |||||
| * | | The directory protocol | Estevan Castilho | 2026-08-23 | 2 | -0/+29 |
| | | | |||||
