| Commit message (Expand) | Author | Files | Lines | |
|---|---|---|---|---|
| 2026-07-14 | Storage layer scaffolding, LMDB backend | Estevan Castilho | 8 | -12/+133 |
| 2026-07-11 | FOL: First Order Logic Execution Engine | Marcos Magueta | 12 | -21/+157 |
| 2026-07-09 | Interface for the storage layer | Estevan Castilho | 8 | -0/+35 |
