aboutsummaryrefslogtreecommitdiffstats
path: root/lib (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Include messages on on all conditionsEstevan Castilho2026-05-2325-56/+65
|
* Migrate `Server` overEstevan Castilho2026-05-231-0/+3
|
* Migrate `System` overEstevan Castilho2026-05-231-2/+9
|
* Migrate `Transport` overEstevan Castilho2026-05-231-2/+8
|
* Migrate `Management.Branch` overEstevan Castilho2026-05-231-3/+8
|
* Migrate `Configuration` overEstevan Castilho2026-05-233-26/+44
|
* Migrate `Management.Physical` overEstevan Castilho2026-05-231-27/+31
|
* Just inherit the errors from NT and the sublanguagesEstevan Castilho2026-05-221-8/+2
|
* Migrate the parsers overEstevan Castilho2026-05-216-18/+36
|
* Migrate the ICL overEstevan Castilho2026-05-212-29/+10
|
* Migrate the SCL overEstevan Castilho2026-05-212-21/+9
|
* Migrate the VCL overEstevan Castilho2026-05-212-18/+10
|
* Migrate the DDL overEstevan Castilho2026-05-212-34/+17
|
* Have `Qualified_name.try_parse` return a `Condition.t`Estevan Castilho2026-05-214-8/+11
|
* Migrate the DML overEstevan Castilho2026-05-212-55/+30
|
* Migrate the DRL overEstevan Castilho2026-05-212-29/+14
|
* Migrate the PRL overEstevan Castilho2026-05-212-27/+14
|
* Migrate `Sublanguage` et al. overEstevan Castilho2026-05-212-6/+3
|
* Migrate `Branch` overEstevan Castilho2026-05-211-4/+10
|
* Migrate `NT` overEstevan Castilho2026-05-212-101/+98
|
* `Condition.condition` -> `Condition.t`Estevan Castilho2026-05-212-2/+2
|
* Sketches of a condition systemEstevan Castilho2026-05-214-32/+78
|
* RNT interfaceMarcos Magueta2026-05-1837-1308/+1867
| | | Co-authored-by: Estevan Castilho <tevo@riajuu.net>
* Multigroup unified reference for hierarchical accessMarcos Magueta2026-05-1143-2779/+1240
|
* FormatMarcos Magueta2026-04-2726-296/+309
|
* Foreign call PRL (#67)Marcos Magueta2026-04-2722-104/+502
|
* Introduce Multigroups (#65)Marcos Magueta2026-04-2716-236/+603
|
* Add build deps and sublanguage directory struct for duneMarcos Magueta2026-04-238-17/+18
|
* Prototype for configurationMarcos Magueta2026-04-2213-21/+292
|
* New Server & Manipulation refactorMarcos Magueta2026-04-2017-480/+565
| | | Co-authored-by: Estevan Castilho <tevo@riajuu.net>
* remove interop with cMarcos Magueta2026-04-045-68/+5
|
* formatMarcos Magueta2026-04-0347-1450/+1483
|
* Polarity walker, constraint and manipulation refactor with batteriesMarcos Magueta2026-04-038-1268/+1536
|
* Session with stream control sublanguage (#55)Marcos Magueta2026-03-246-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.
* Constraint walker and polarity analysisMarcos Magueta2026-03-233-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)
* Sublanguages improvement & Coq experiment (#53)Marcos Magueta2026-03-2224-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
* Branching and naïve merge strategiesMarcos Magueta2026-03-1411-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>
* todosMarcos Magueta2026-03-112-0/+12
|
* lack of provenance on shadowing of tuple merge quantification fixMarcos Magueta2026-03-111-2/+22
|
* defenestrate jsonMarcos Magueta2026-03-093-8/+34
|
* format todos and comment improvementMarcos Magueta2026-03-085-193/+64
|
* serverMarcos Magueta2026-03-083-18/+30
|
* dml and dclMarcos Magueta2026-03-088-6/+230
|
* constraintsMarcos Magueta2026-03-087-60/+979
|
* wip: drl executorMarcos Magueta2026-03-074-0/+333
|
* catalogMarcos Magueta2026-03-072-116/+460
|
* domainsMarcos Magueta2026-03-073-5/+153
|
* erlang port commands and generated testsMarcos Magueta2026-03-079-28/+1011
|
* wip: docs updateMarcos Magueta2026-03-061-0/+1
|
* wip: physicalMarcos Magueta2026-03-064-8/+36
|
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 07:51:43 +0000