aboutsummaryrefslogtreecommitdiffstats
path: root/lib (unfollow)
Commit message (Collapse)AuthorFilesLines
2026-05-30Equality for materialized tuplesEstevan Castilho1-0/+3
2026-05-30Equality for materialized attributesEstevan Castilho2-1/+3
2026-05-30Do not include brackets around stringified condition propertiesEstevan Castilho1-1/+4
2026-05-30Include the return code on `handle-error` conditionsEstevan Castilho1-20/+23
2026-05-30Move `make_ctx` out of the listenerEstevan Castilho2-24/+34
2026-05-30Equality for abstract valuesEstevan Castilho1-9/+25
2026-05-29Record backtraces when instantiating conditionsEstevan Castilho1-3/+6
2026-05-28No need to take the multigroup name as an argumentEstevan Castilho3-10/+8
2026-05-28Link against RNT directly, rather than `dlopen`ing at runtimeEstevan Castilho2-13/+3
2026-05-27Improve the error handling situation (#71)Estevan Castilho36-440/+452
* Sketches of a condition system * `Condition.condition` -> `Condition.t` * Migrate `NT` over * Migrate `Branch` over * Migrate `Sublanguage` et al. over * Migrate the PRL over * Migrate the DRL over * Migrate the DML over * Have `Qualified_name.try_parse` return a `Condition.t` * Migrate the DDL over * Migrate the VCL over * Migrate the SCL over * Migrate the ICL over * Migrate the parsers over * Just inherit the errors from NT and the sublanguages * Migrate `Management.Physical` over * Migrate `Configuration` over * Migrate `Management.Branch` over * Migrate `Transport` over * Migrate `System` over * Migrate `Server` over * Include messages on on all conditions * A prettier stringifier
2026-05-18RNT interfaceMarcos Magueta37-1308/+1867
Co-authored-by: Estevan Castilho <tevo@riajuu.net>
2026-05-11Multigroup unified reference for hierarchical accessMarcos Magueta43-2779/+1240
2026-04-27FormatMarcos Magueta26-296/+309
2026-04-27Foreign call PRL (#67)Marcos Magueta22-104/+502
2026-04-27Introduce Multigroups (#65)Marcos Magueta16-236/+603
2026-04-23Add build deps and sublanguage directory struct for duneMarcos Magueta8-17/+18
2026-04-22Prototype for configurationMarcos Magueta13-21/+292
2026-04-20New Server & Manipulation refactorMarcos Magueta17-480/+565
Co-authored-by: Estevan Castilho <tevo@riajuu.net>
2026-04-04remove interop with cMarcos Magueta5-68/+5
2026-04-03formatMarcos Magueta47-1450/+1483
2026-04-03Polarity walker, constraint and manipulation refactor with batteriesMarcos Magueta8-1268/+1536
2026-03-24Session with stream control sublanguage (#55)Marcos Magueta6-0/+218
SCL adds cursor-based streaming to Sakura so clients can consume DRL query results incrementally in bounded batches rather than all at once. Three statements: Begin, Fetch, and Close. `open`, `advance`, and `release` cursors backed by a session registry that suspends the generator between calls. SCL is just an optional consumption layer above the existing algebra.
2026-03-23Constraint walker and polarity analysisMarcos Magueta3-71/+437
- 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-22Sublanguages improvement & Coq experiment (#53)Marcos Magueta24-95/+640
* 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
2026-03-14Branching and naïve merge strategiesMarcos Magueta11-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-11todosMarcos Magueta2-0/+12
2026-03-11lack of provenance on shadowing of tuple merge quantification fixMarcos Magueta1-2/+22
2026-03-09defenestrate jsonMarcos Magueta3-8/+34
2026-03-08format todos and comment improvementMarcos Magueta5-193/+64
2026-03-08serverMarcos Magueta3-18/+30
2026-03-08dml and dclMarcos Magueta8-6/+230
2026-03-08constraintsMarcos Magueta7-60/+979
2026-03-07wip: drl executorMarcos Magueta4-0/+333
2026-03-07catalogMarcos Magueta2-116/+460
2026-03-07domainsMarcos Magueta3-5/+153
2026-03-07erlang port commands and generated testsMarcos Magueta9-28/+1011
2026-03-06wip: docs updateMarcos Magueta1-0/+1
2026-03-06wip: physicalMarcos Magueta4-8/+36
2026-03-06use magic to cast types to opaque attributesMarcos Magueta4-35/+21
2026-03-06encode relations on module baseMarcos Magueta10-74/+160
2026-03-06relation typeMarcos Magueta2-1/+111
2026-03-05ocaml re-migrationMarcos Magueta4-0/+63
2025-11-11migrating to erlang to attach to mnesiaMarcos Magueta6-287/+0
2024-10-27State of the world with Merkle Tree composition of files (#2)Marcos Magueta4-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-26Basic storage with C interop (#1)Marcos Magueta8-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-16dune build with foreign stubsMarcos Magueta1-8/+29
2024-10-16dune environment vars with flake and C++ interop with stubsMarcos Magueta3-1/+25
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 14:22:47 +0000