aboutsummaryrefslogtreecommitdiffstats
path: root/docs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Constraint walker and polarity analysisMarcos Magueta2026-03-231-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)
* Branching and naïve merge strategiesMarcos Magueta2026-03-145-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>
* lack of provenance on shadowing of tuple merge quantification fixMarcos Magueta2026-03-112-0/+686
|
* relational algebra docsMarcos Magueta2026-03-101-0/+191
|
* constraintsMarcos Magueta2026-03-081-0/+403
|
* erlang port commands and generated testsMarcos Magueta2026-03-071-0/+282
|
* wip: docs updateMarcos Magueta2026-03-064-84/+177
|
* ocaml re-migrationMarcos Magueta2026-03-0525-2876/+84
|
* Fix comparison relation order, rebranding & roadmap (#50)Marcos Magueta2026-02-061-0/+223
|
* 1OPs, bound context and domain constraints (#46)Marcos Magueta2025-12-311-0/+97
|
* Diagrams (#18)Marcos Magueta2025-12-0118-0/+1507
|
* Joins with provenance and lineage (#11)Marcos Magueta2025-11-241-7/+165
|
* Infinite relations (#10)Marcos Magueta2025-11-221-0/+348
|
* Retract tuple, relation and clear relation (truncate) (#9)Marcos Magueta2025-11-222-65/+512
|
* migrating to erlang to attach to mnesiaMarcos Magueta2025-11-112-72/+96
|
* Basic storage with C interop (#1)Marcos Magueta2024-10-261-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>
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 18:05:05 +0000