aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Constraint walker and polarity analysisMarcos Magueta2026-03-238-154/+1664
| | | | | | | | | | | | | - 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)
* Sublanguages improvement & Coq experiment (#53)Marcos Magueta2026-03-2236-371/+1330
| | | | | | | | | | | | | | | | | | | | | | | | | | | * separation and functor for sublanguages * add coq experiment for termination * fix tests with envelopes * add timestamp and print responses to server on terminal * remove coq experiment for trivial cases and rework gate * refactor nesting with let* * remove non-envelope sublang support and tests on server * manip_err duplication purge and better format as s-expr * abstract storage with dispatch for sublanguages * dead code and minor refactor due to old non-envelope parsing on subl * refactor server to use proper dml alg error and wire ephem relations * remove (schema) * change .gitignore to blacklist folders
* Branching and naïve merge strategiesMarcos Magueta2026-03-1418-121/+1223
| | | | | | | | | | | | | | | * 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>
* Add GNU AfferoMarcos Magueta2026-03-141-0/+661
| | | Signed-off-by: Marcos Magueta <maguetamarcos@gmail.com>
* server with examplesMarcos Magueta2026-03-111-51/+44
|
* examples on serverMarcos Magueta2026-03-111-2/+134
|
* todosMarcos Magueta2026-03-112-0/+12
|
* lack of provenance on shadowing of tuple merge quantification fixMarcos Magueta2026-03-113-2/+708
|
* relational algebra docsMarcos Magueta2026-03-101-0/+191
|
* defenestrate jsonMarcos Magueta2026-03-095-71/+95
|
* format todos and comment improvementMarcos Magueta2026-03-086-238/+89
|
* serverMarcos Magueta2026-03-085-18/+290
|
* dml and dclMarcos Magueta2026-03-089-6/+530
|
* constraintsMarcos Magueta2026-03-089-61/+2417
|
* wip: drl executorMarcos Magueta2026-03-075-0/+641
|
* catalogMarcos Magueta2026-03-073-139/+652
|
* domainsMarcos Magueta2026-03-073-5/+153
|
* erlang port commands and generated testsMarcos Magueta2026-03-0714-29/+2236
|
* wip: docs updateMarcos Magueta2026-03-066-107/+190
|
* wip: physicalMarcos Magueta2026-03-064-8/+36
|
* use magic to cast types to opaque attributesMarcos Magueta2026-03-065-40/+26
|
* encode relations on module baseMarcos Magueta2026-03-0611-74/+165
|
* relation typeMarcos Magueta2026-03-066-9/+124
|
* ocaml re-migrationMarcos Magueta2026-03-0574-8866/+761
|
* delete xml serverMarcos Magueta2026-03-042-540/+0
|
* generalize constraints in membership with quantificationMarcos Magueta2026-03-045-1023/+494
|
* 2OP Constraints and manipulationMarcos Magueta2026-03-034-61/+777
|
* Fix comparison relation order, rebranding & roadmap (#50)Marcos Magueta2026-02-069-172/+411
|
* Refactor constraint system (#49)Marcos Magueta2026-01-035-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 Magueta2025-12-315-34/+1466
|
* 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
|
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 04:50:07 +0000