aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Also send the attributes to join on over to the NT sideproper-joinsEstevan Castilho2026-06-134-18/+29
|
* Tests for nested loop inner joinsEstevan Castilho2026-06-131-16/+42
|
* `Project` plan nodeEstevan Castilho2026-06-134-5/+62
|
* Migrate the plan action constructors over to the unified interface (#73)Estevan Castilho2026-06-113-13/+78
| | | | | | | | | | | | | | | | | * Bump `RNT` to a version including the new unified planner interface * Use the new unified planner interface * github workflow * Revert "github workflow" This reverts commit 294b35a81569819047d4af173000b4ff7bc5d6a6. * But do keep the flake changes --------- Co-authored-by: Marcos Magueta <maguetamarcos@gmail.com>
* Some scaffolding for sublanguage tests (#72)Estevan Castilho2026-05-3012-4559/+218
| | | | | | | | | | | | | | | | | | | * No need to take the multigroup name as an argument * Record backtraces when instantiating conditions * Equality for abstract values * Move `make_ctx` out of the listener * Include the return code on `handle-error` conditions * Do not include brackets around stringified condition properties * Equality for materialized attributes * Equality for materialized tuples * Scaffolding for a test suite
* Link against RNT directly, rather than `dlopen`ing at runtimeEstevan Castilho2026-05-282-13/+3
|
* Improve the error handling situation (#71)Estevan Castilho2026-05-2737-441/+453
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * 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
* cleanup rootMarcos Magueta2026-05-188-255/+0
|
* Delete .direnv/bin directoryMarcos Magueta2026-05-181-19/+0
| | | Signed-off-by: Marcos Magueta <maguetamarcos@gmail.com>
* RNT interfaceMarcos Magueta2026-05-1844-1579/+1933
| | | Co-authored-by: Estevan Castilho <tevo@riajuu.net>
* Multigroup unified reference for hierarchical accessMarcos Magueta2026-05-1162-3469/+2635
|
* FormatMarcos Magueta2026-04-2729-579/+421
|
* Foreign call PRL (#67)Marcos Magueta2026-04-2728-104/+868
|
* Introduce Multigroups (#65)Marcos Magueta2026-04-2718-237/+606
|
* Add build deps and sublanguage directory struct for duneMarcos Magueta2026-04-2310-23/+51
|
* Prototype for configurationMarcos Magueta2026-04-2217-121/+314
|
* New Server & Manipulation refactorMarcos Magueta2026-04-2020-1058/+929
| | | Co-authored-by: Estevan Castilho <tevo@riajuu.net>
* remove interop with cMarcos Magueta2026-04-049-112/+10
|
* formatMarcos Magueta2026-04-0352-4527/+5358
|
* Polarity walker, constraint and manipulation refactor with batteriesMarcos Magueta2026-04-0311-1276/+1543
|
* Session with stream control sublanguage (#55)Marcos Magueta2026-03-247-1/+249
| | | 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.
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 01:13:02 +0000