aboutsummaryrefslogtreecommitdiffstats
path: root/lib/backend (unfollow)
Commit message (Expand)AuthorFilesLines
2026-07-14Storage layer scaffolding, LMDB backendEstevan Castilho1-9/+17
2026-07-11FOL: First Order Logic Execution EngineMarcos Magueta7-99/+366
2026-07-08migrate to tevo's structureMarcos Magueta2-0/+141
2026-07-09Interface for the storage layerEstevan Castilho2-0/+12