| Commit message (Collapse) | Author | Files | Lines | ||
|---|---|---|---|---|---|
| 2026-03-14 | Branching and naïve merge strategies | Marcos Magueta | 11 | -61/+617 | |
| * AGPL license * branching and merging * Delete LICENSE in favor of separate PR Signed-off-by: Marcos Magueta <maguetamarcos@gmail.com> * add unmonitored tests and docs --------- Signed-off-by: Marcos Magueta <maguetamarcos@gmail.com> | |||||
| 2026-03-11 | todos | Marcos Magueta | 2 | -0/+12 | |
| 2026-03-11 | lack of provenance on shadowing of tuple merge quantification fix | Marcos Magueta | 1 | -2/+22 | |
| 2026-03-09 | defenestrate json | Marcos Magueta | 3 | -8/+34 | |
| 2026-03-08 | format todos and comment improvement | Marcos Magueta | 5 | -193/+64 | |
| 2026-03-08 | server | Marcos Magueta | 3 | -18/+30 | |
| 2026-03-08 | dml and dcl | Marcos Magueta | 8 | -6/+230 | |
| 2026-03-08 | constraints | Marcos Magueta | 7 | -60/+979 | |
| 2026-03-07 | wip: drl executor | Marcos Magueta | 4 | -0/+333 | |
| 2026-03-07 | catalog | Marcos Magueta | 2 | -116/+460 | |
| 2026-03-07 | domains | Marcos Magueta | 3 | -5/+153 | |
| 2026-03-07 | erlang port commands and generated tests | Marcos Magueta | 9 | -28/+1011 | |
| 2026-03-06 | wip: docs update | Marcos Magueta | 1 | -0/+1 | |
| 2026-03-06 | wip: physical | Marcos Magueta | 4 | -8/+36 | |
| 2026-03-06 | use magic to cast types to opaque attributes | Marcos Magueta | 4 | -35/+21 | |
| 2026-03-06 | encode relations on module base | Marcos Magueta | 10 | -74/+160 | |
| 2026-03-06 | relation type | Marcos Magueta | 2 | -1/+111 | |
| 2026-03-05 | ocaml re-migration | Marcos Magueta | 4 | -0/+63 | |
| 2025-11-11 | migrating to erlang to attach to mnesia | Marcos Magueta | 6 | -287/+0 | |
| 2024-10-27 | State of the world with Merkle Tree composition of files (#2) | Marcos Magueta | 4 | -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 | |||||
| 2024-10-26 | Basic storage with C interop (#1) | Marcos Magueta | 8 | -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> | |||||
| 2024-10-16 | dune build with foreign stubs | Marcos Magueta | 1 | -8/+29 | |
| 2024-10-16 | dune environment vars with flake and C++ interop with stubs | Marcos Magueta | 3 | -1/+25 | |
