| Commit message (Collapse) | Author | Files | Lines | ||
|---|---|---|---|---|---|
| 2026-04-27 | Foreign call PRL (#67) | Marcos Magueta | 1 | -0/+82 | |
| 2026-03-23 | Constraint walker and polarity analysis | Marcos Magueta | 1 | -0/+261 | |
| - Polarity analysis walker on Constraint.t AST - Cascade constraint re-checking on DELETE and INSERT - Focused filtering to narrow re-checks to affected tuples only - Universal variable substitution for targeted constraint re-evaluation - Constant discovery for early bail-out (trigger_constants) - Deferred constraint timing with commit boundary - attach_constraint and commit API in Manipulation - extend_tuple namespacing fix (variable.attr convention) - History capping at 128 entries in Database.update_state - Benchmark binary (bin/bench.ml) - Design doc (docs/incremental_constraint_checking.org) | |||||
| 2026-03-14 | Branching and naïve merge strategies | Marcos Magueta | 5 | -11/+240 | |
| * 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 | lack of provenance on shadowing of tuple merge quantification fix | Marcos Magueta | 2 | -0/+686 | |
| 2026-03-10 | relational algebra docs | Marcos Magueta | 1 | -0/+191 | |
| 2026-03-08 | constraints | Marcos Magueta | 1 | -0/+403 | |
| 2026-03-07 | erlang port commands and generated tests | Marcos Magueta | 1 | -0/+282 | |
| 2026-03-06 | wip: docs update | Marcos Magueta | 4 | -84/+177 | |
| 2026-03-05 | ocaml re-migration | Marcos Magueta | 25 | -2876/+84 | |
| 2026-02-06 | Fix comparison relation order, rebranding & roadmap (#50) | Marcos Magueta | 1 | -0/+223 | |
| 2025-12-31 | 1OPs, bound context and domain constraints (#46) | Marcos Magueta | 1 | -0/+97 | |
| 2025-12-01 | Diagrams (#18) | Marcos Magueta | 18 | -0/+1507 | |
| 2025-11-24 | Joins with provenance and lineage (#11) | Marcos Magueta | 1 | -7/+165 | |
| 2025-11-22 | Infinite relations (#10) | Marcos Magueta | 1 | -0/+348 | |
| 2025-11-22 | Retract tuple, relation and clear relation (truncate) (#9) | Marcos Magueta | 2 | -65/+512 | |
| 2025-11-11 | migrating to erlang to attach to mnesia | Marcos Magueta | 2 | -72/+96 | |
| 2024-10-26 | Basic storage with C interop (#1) | Marcos Magueta | 1 | -0/+72 | |
| * 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> | |||||
 |
index : Sakura | |
| git repositories |
| aboutsummaryrefslogtreecommitdiffstats |