aboutsummaryrefslogtreecommitdiffstats
path: root/lib/management (unfollow)
Commit message (Collapse)AuthorFilesLines
2026-05-23Include messages on on all conditionsEstevan Castilho3-4/+5
2026-05-23Migrate `Management.Branch` overEstevan Castilho1-3/+8
2026-05-23Migrate `Management.Physical` overEstevan Castilho1-27/+31
2026-05-18RNT interfaceMarcos Magueta2-44/+26
Co-authored-by: Estevan Castilho <tevo@riajuu.net>
2026-05-11Multigroup unified reference for hierarchical accessMarcos Magueta5-498/+88
2026-04-27FormatMarcos Magueta2-7/+6
2026-04-27Foreign call PRL (#67)Marcos Magueta1-0/+2
2026-04-27Introduce Multigroups (#65)Marcos Magueta2-2/+5
2026-04-22Prototype for configurationMarcos Magueta1-5/+23
2026-04-20New Server & Manipulation refactorMarcos Magueta2-2/+3
Co-authored-by: Estevan Castilho <tevo@riajuu.net>
2026-04-03formatMarcos Magueta3-315/+354
2026-04-03Polarity walker, constraint and manipulation refactor with batteriesMarcos Magueta2-69/+89
2026-03-23Constraint walker and polarity analysisMarcos Magueta1-2/+21
- 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-14Branching and naïve merge strategiesMarcos Magueta3-0/+433
* 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-08format todos and comment improvementMarcos Magueta1-47/+20
2026-03-08serverMarcos Magueta1-1/+7
2026-03-07domainsMarcos Magueta1-0/+28
2026-03-07erlang port commands and generated testsMarcos Magueta2-22/+282
2026-03-06wip: physicalMarcos Magueta2-0/+35