aboutsummaryrefslogtreecommitdiffstats
path: root/lib (unfollow)
Commit message (Collapse)AuthorFilesLines
2026-03-08format todos and comment improvementMarcos Magueta5-193/+64
2026-03-08serverMarcos Magueta3-18/+30
2026-03-08dml and dclMarcos Magueta8-6/+230
2026-03-08constraintsMarcos Magueta7-60/+979
2026-03-07wip: drl executorMarcos Magueta4-0/+333
2026-03-07catalogMarcos Magueta2-116/+460
2026-03-07domainsMarcos Magueta3-5/+153
2026-03-07erlang port commands and generated testsMarcos Magueta9-28/+1011
2026-03-06wip: docs updateMarcos Magueta1-0/+1
2026-03-06wip: physicalMarcos Magueta4-8/+36
2026-03-06use magic to cast types to opaque attributesMarcos Magueta4-35/+21
2026-03-06encode relations on module baseMarcos Magueta10-74/+160
2026-03-06relation typeMarcos Magueta2-1/+111
2026-03-05ocaml re-migrationMarcos Magueta4-0/+63
2025-11-11migrating to erlang to attach to mnesiaMarcos Magueta6-287/+0
2024-10-27State of the world with Merkle Tree composition of files (#2)Marcos Magueta4-24/+65
* file state hash calculation with history on replace and insert * add state transitions with linear hashing * add test * format dune files * nix format * delete shared flake * disable fmt check on flake * add nix formatter to flake shell
2024-10-26Basic storage with C interop (#1)Marcos Magueta8-45/+244
* writer command design * dune build with shared core lib * port c lib project inside ocaml * os specific dynamic link * fix project name on flake * fix: cmake cxx version breaking merklecpp * finish write to disk and update maps func * add non atomic commit to transaction graph * merkle tree binding for generating root hash * disk module refactor --------- Co-authored-by: Renan Lopes <renans.l@icloud.com>
2024-10-16dune build with foreign stubsMarcos Magueta1-8/+29
2024-10-16dune environment vars with flake and C++ interop with stubsMarcos Magueta3-1/+25