| Commit message (Collapse) | Author | Files | Lines | ||
|---|---|---|---|---|---|
| 2026-09-25 | dune fmt | Marcos Magueta | 1 | -22/+18 | |
| 2026-09-23 | allow to close storage | Marcos Magueta | 1 | -0/+2 | |
| 2026-09-23 | make scan use rdonly transaction on the cursor to avoid deadlock | Marcos Magueta | 1 | -3/+13 | |
| 2026-09-19 | Associative collections on top of prolly trees | Estevan Castilho | 1 | -7/+0 | |
| 2026-09-05 | LMDB safe reading through transactions and protecting pointers from GC | Marcos Magueta | 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 | |||||
| 2026-08-23 | Tidy up | Estevan Castilho | 1 | -3/+3 | |
| 2026-08-23 | Allow storage backend addresses to be labels rather than hashes | Estevan Castilho | 1 | -4/+10 | |
| 2026-07-21 | architecture diagram on CI | Marcos Magueta | 1 | -0/+7 | |
| 2026-07-14 | Storage layer scaffolding, LMDB backend | Estevan Castilho | 1 | -9/+17 | |
| 2026-07-11 | FOL: First Order Logic Execution Engine | Marcos Magueta | 2 | -9/+168 | |
| Co-authored-by: Estevan Castilho <tevo@riajuu.net> | |||||
| 2026-07-09 | Interface for the storage layer | Estevan Castilho | 2 | -0/+12 | |
 |
index : RNT | |
| git repositories |
| aboutsummaryrefslogtreecommitdiffstats |