aboutsummaryrefslogtreecommitdiffstats
path: root/bin/main.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* New Server & Manipulation refactorMarcos Magueta2026-04-201-17/+0
| | | Co-authored-by: Estevan Castilho <tevo@riajuu.net>
* remove interop with cMarcos Magueta2026-04-041-1/+1
|
* formatMarcos Magueta2026-04-031-6/+12
|
* use magic to cast types to opaque attributesMarcos Magueta2026-03-061-5/+5
|
* encode relations on module baseMarcos Magueta2026-03-061-0/+5
|
* relation typeMarcos Magueta2026-03-061-5/+0
|
* ocaml re-migrationMarcos Magueta2026-03-051-0/+11
|
* migrating to erlang to attach to mnesiaMarcos Magueta2025-11-111-7/+0
|
* State of the world with Merkle Tree composition of files (#2)Marcos Magueta2024-10-271-1/+2
| | | | | | | | | | | | | | | | | * 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
* Basic storage with C interop (#1)Marcos Magueta2024-10-261-2/+5
| | | | | | | | | | | | | | | | | | | | | | | | | * 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>
* dune environment vars with flake and C++ interop with stubsMarcos Magueta2024-10-161-1/+3
|
* bootstrap project with flake and duneMarcos Magueta2024-10-161-0/+1