aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dune (unfollow)
Commit message (Collapse)AuthorFilesLines
2026-05-28Link against RNT directly, rather than `dlopen`ing at runtimeEstevan Castilho1-1/+2
2026-05-11Multigroup unified reference for hierarchical accessMarcos Magueta1-1/+3
2026-04-27Foreign call PRL (#67)Marcos Magueta1-0/+2
2026-04-22Prototype for configurationMarcos Magueta1-0/+1
2026-04-04remove interop with cMarcos Magueta1-28/+2
2026-04-03formatMarcos Magueta1-0/+1
2026-04-03Polarity walker, constraint and manipulation refactor with batteriesMarcos Magueta1-0/+1
2026-03-06encode relations on module baseMarcos Magueta1-3/+2
2026-03-05ocaml re-migrationMarcos Magueta1-0/+40
2025-11-11migrating to erlang to attach to mnesiaMarcos Magueta1-28/+0
2024-10-27State of the world with Merkle Tree composition of files (#2)Marcos Magueta1-4/+3
* 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 Magueta1-29/+27
* 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 Magueta1-1/+9