aboutsummaryrefslogtreecommitdiffstats
path: root/lib (follow)
Commit message (Collapse)AuthorAgeFilesLines
* todosMarcos Magueta2026-03-112-0/+12
|
* lack of provenance on shadowing of tuple merge quantification fixMarcos Magueta2026-03-111-2/+22
|
* defenestrate jsonMarcos Magueta2026-03-093-8/+34
|
* format todos and comment improvementMarcos Magueta2026-03-085-193/+64
|
* serverMarcos Magueta2026-03-083-18/+30
|
* dml and dclMarcos Magueta2026-03-088-6/+230
|
* constraintsMarcos Magueta2026-03-087-60/+979
|
* wip: drl executorMarcos Magueta2026-03-074-0/+333
|
* catalogMarcos Magueta2026-03-072-116/+460
|
* domainsMarcos Magueta2026-03-073-5/+153
|
* erlang port commands and generated testsMarcos Magueta2026-03-079-28/+1011
|
* wip: docs updateMarcos Magueta2026-03-061-0/+1
|
* wip: physicalMarcos Magueta2026-03-064-8/+36
|
* use magic to cast types to opaque attributesMarcos Magueta2026-03-064-35/+21
|
* encode relations on module baseMarcos Magueta2026-03-0610-74/+160
|
* relation typeMarcos Magueta2026-03-062-1/+111
|
* ocaml re-migrationMarcos Magueta2026-03-054-0/+63
|
* migrating to erlang to attach to mnesiaMarcos Magueta2025-11-116-287/+0
|
* State of the world with Merkle Tree composition of files (#2)Marcos Magueta2024-10-274-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
* Basic storage with C interop (#1)Marcos Magueta2024-10-268-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>
* dune build with foreign stubsMarcos Magueta2024-10-161-8/+29
|
* dune environment vars with flake and C++ interop with stubsMarcos Magueta2024-10-163-1/+25
|
* bootstrap project with flake and duneMarcos Magueta2024-10-161-0/+2
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 18:08:30 +0000