aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Ephemeral relations, Refactor & Cleanup (#34)Marcos Magueta2025-12-1418-2294/+924
|
* #37 ADD Rebar3 Release and other minor refactors (#38)Marcos Benevides2025-12-079-27/+250
|
* #24 ADD Pure nix builds (#36)pebble2025-12-073-43/+57
| | | * #24 ADD Pure nix builds
* #32 REFACTOR Nix setup (#33)Marcos Benevides2025-12-043-30/+134
|
* Infinite domains and membership rework (#22)Marcos Magueta2025-12-0413-530/+433
|
* #21 FIX made the problematic line conditional to avoid 404 error code (#23)pebble2025-12-031-31/+47
| | | #21 FIX Made the problematic line conditional to avoid 404 error code + added some a condition on pull requests in docs workflow
* Diagrams (#18)Marcos Magueta2025-12-0118-0/+1507
|
* XML Server (#16)Marcos Magueta2025-11-283-1/+541
|
* Pseudo-REPL and sketch planner (#12)Marcos Magueta2025-11-255-4/+1066
|
* Joins with provenance and lineage (#11)Marcos Magueta2025-11-248-66/+1376
|
* Infinite relations (#10)Marcos Magueta2025-11-228-21/+2187
|
* Retract tuple, relation and clear relation (truncate) (#9)Marcos Magueta2025-11-2210-127/+1540
|
* Versioning sketch with actor model lazy iterators (#8)Marcos Magueta2025-11-203-13/+290
|
* proof of concept of the volcano model with processesMarcos Magueta2025-11-121-0/+167
|
* fix startup crashMarcos Magueta2025-11-123-6/+26
|
* migrating to erlang to attach to mnesiaMarcos Magueta2025-11-1133-963/+304
|
* CI workflows and flake update (#3)Marcos Magueta2024-11-024-7/+36
|
* State of the world with Merkle Tree composition of files (#2)Marcos Magueta2024-10-2715-186/+290
| | | | | | | | | | | | | | | | | * 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-2619-60/+443
| | | | | | | | | | | | | | | | | | | | | | | | | * 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>
* cmake for c devMarcos Magueta2024-10-162-0/+18
|
* dune build with foreign stubsMarcos Magueta2024-10-163-10/+38
|
* dune environment vars with flake and C++ interop with stubsMarcos Magueta2024-10-1610-24/+105
|
* bootstrap project with flake and duneMarcos Magueta2024-10-169-0/+356