aboutsummaryrefslogtreecommitdiffstats
path: root/lib (follow)
Commit message (Collapse)AuthorAgeFilesLines
* add partition and debuggerMarcos Magueta2025-02-273-24/+50
|
* add typing and schemaMarcos Magueta2025-01-194-62/+32
|
* cleanup and formatMarcos Magueta2025-01-198-324/+543
|
* entity idents for reference mappingMarcos Magueta2025-01-192-21/+47
|
* unite relation attributes by entity mapMarcos2025-01-195-63/+79
|
* planner seq scan assuming ordering of resultsMarcos Magueta2024-12-082-3/+13
|
* schema as a meta relationMarcos Magueta2024-12-083-2/+60
|
* seq scan initial implementationMarcos Magueta2024-12-084-10/+81
|
* send XML through socketsMarcos Magueta2024-11-263-15/+22
|
* fix serverMarcos Magueta2024-11-251-2/+5
|
* socket serverMarcos Magueta2024-11-252-1/+41
|
* lwt socket serverMarcos Magueta2024-11-252-5/+11
|
* relation buildingMarcos Magueta2024-11-243-19/+69
|
* write and read from diskMarcos Magueta2024-11-242-9/+56
|
* add transaction docMarcos Magueta2024-11-031-0/+2
|
* cleanMarcos Magueta2024-11-023-9/+5
|
* 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