aboutsummaryrefslogtreecommitdiffstats
path: root/lib/abstract/Storage.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2026-09-25dune fmtMarcos Magueta1-10/+2
2026-09-23allow to close storageMarcos Magueta1-0/+3
2026-09-23make scan use rdonly transaction on the cursor to avoid deadlockMarcos Magueta1-0/+3
2026-09-17WIP forsake contextEstevan Castilho1-5/+0
2026-08-23Tidy upEstevan Castilho1-2/+2
2026-08-23Allow storage backend addresses to be labels rather than hashesEstevan Castilho1-2/+4
2026-07-21architecture diagram on CIMarcos Magueta1-0/+5
2026-07-14Storage layer scaffolding, LMDB backendEstevan Castilho1-2/+1
2026-07-11FOL: First Order Logic Execution EngineMarcos Magueta1-6/+17
2026-07-09Interface for the storage layerEstevan Castilho1-0/+18