| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | constraints | Marcos Magueta | 2026-03-08 | 9 | -61/+2417 | |
| | | ||||||
| * | wip: drl executor | Marcos Magueta | 2026-03-07 | 5 | -0/+641 | |
| | | ||||||
| * | catalog | Marcos Magueta | 2026-03-07 | 3 | -139/+652 | |
| | | ||||||
| * | domains | Marcos Magueta | 2026-03-07 | 3 | -5/+153 | |
| | | ||||||
| * | erlang port commands and generated tests | Marcos Magueta | 2026-03-07 | 14 | -29/+2236 | |
| | | ||||||
| * | wip: docs update | Marcos Magueta | 2026-03-06 | 6 | -107/+190 | |
| | | ||||||
| * | wip: physical | Marcos Magueta | 2026-03-06 | 4 | -8/+36 | |
| | | ||||||
| * | use magic to cast types to opaque attributes | Marcos Magueta | 2026-03-06 | 5 | -40/+26 | |
| | | ||||||
| * | encode relations on module base | Marcos Magueta | 2026-03-06 | 11 | -74/+165 | |
| | | ||||||
| * | relation type | Marcos Magueta | 2026-03-06 | 6 | -9/+124 | |
| | | ||||||
| * | ocaml re-migration | Marcos Magueta | 2026-03-05 | 74 | -8866/+761 | |
| | | ||||||
| * | delete xml server | Marcos Magueta | 2026-03-04 | 2 | -540/+0 | |
| | | ||||||
| * | generalize constraints in membership with quantification | Marcos Magueta | 2026-03-04 | 5 | -1023/+494 | |
| | | ||||||
| * | 2OP Constraints and manipulation | Marcos Magueta | 2026-03-03 | 4 | -61/+777 | |
| | | ||||||
| * | Fix comparison relation order, rebranding & roadmap (#50) | Marcos Magueta | 2026-02-06 | 9 | -172/+411 | |
| | | ||||||
| * | Refactor constraint system (#49) | Marcos Magueta | 2026-01-03 | 5 | -418/+334 | |
| | | | | | | | | | | | | * fix dialyzer and clean code * rework on validation criterias and mnesia-aware domains * [refactor] add comparison relations to database startup * fix nix build * fix docs for edoc | |||||
| * | 1OPs, bound context and domain constraints (#46) | Marcos Magueta | 2025-12-31 | 5 | -34/+1466 | |
| | | ||||||
| * | Ephemeral relations, Refactor & Cleanup (#34) | Marcos Magueta | 2025-12-14 | 18 | -2294/+924 | |
| | | ||||||
| * | #37 ADD Rebar3 Release and other minor refactors (#38) | Marcos Benevides | 2025-12-07 | 9 | -27/+250 | |
| | | ||||||
| * | #24 ADD Pure nix builds (#36) | pebble | 2025-12-07 | 3 | -43/+57 | |
| | | | | * #24 ADD Pure nix builds | |||||
| * | #32 REFACTOR Nix setup (#33) | Marcos Benevides | 2025-12-04 | 3 | -30/+134 | |
| | | ||||||
| * | Infinite domains and membership rework (#22) | Marcos Magueta | 2025-12-04 | 13 | -530/+433 | |
| | | ||||||
| * | #21 FIX made the problematic line conditional to avoid 404 error code (#23) | pebble | 2025-12-03 | 1 | -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 Magueta | 2025-12-01 | 18 | -0/+1507 | |
| | | ||||||
| * | XML Server (#16) | Marcos Magueta | 2025-11-28 | 3 | -1/+541 | |
| | | ||||||
| * | Pseudo-REPL and sketch planner (#12) | Marcos Magueta | 2025-11-25 | 5 | -4/+1066 | |
| | | ||||||
| * | Joins with provenance and lineage (#11) | Marcos Magueta | 2025-11-24 | 8 | -66/+1376 | |
| | | ||||||
| * | Infinite relations (#10) | Marcos Magueta | 2025-11-22 | 8 | -21/+2187 | |
| | | ||||||
| * | Retract tuple, relation and clear relation (truncate) (#9) | Marcos Magueta | 2025-11-22 | 10 | -127/+1540 | |
| | | ||||||
| * | Versioning sketch with actor model lazy iterators (#8) | Marcos Magueta | 2025-11-20 | 3 | -13/+290 | |
| | | ||||||
| * | proof of concept of the volcano model with processes | Marcos Magueta | 2025-11-12 | 1 | -0/+167 | |
| | | ||||||
| * | fix startup crash | Marcos Magueta | 2025-11-12 | 3 | -6/+26 | |
| | | ||||||
| * | migrating to erlang to attach to mnesia | Marcos Magueta | 2025-11-11 | 33 | -963/+304 | |
| | | ||||||
| * | CI workflows and flake update (#3) | Marcos Magueta | 2024-11-02 | 4 | -7/+36 | |
| | | ||||||
| * | State of the world with Merkle Tree composition of files (#2) | Marcos Magueta | 2024-10-27 | 15 | -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 Magueta | 2024-10-26 | 19 | -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 dev | Marcos Magueta | 2024-10-16 | 2 | -0/+18 | |
| | | ||||||
| * | dune build with foreign stubs | Marcos Magueta | 2024-10-16 | 3 | -10/+38 | |
| | | ||||||
| * | dune environment vars with flake and C++ interop with stubs | Marcos Magueta | 2024-10-16 | 10 | -24/+105 | |
| | | ||||||
| * | bootstrap project with flake and dune | Marcos Magueta | 2024-10-16 | 9 | -0/+356 | |
 |
index : Sakura | |
| git repositories |
| aboutsummaryrefslogtreecommitdiffstats |