aboutsummaryrefslogtreecommitdiffstats
path: root/test/test_relational_engine.ml (unfollow)
Commit message (Collapse)AuthorFilesLines
2026-05-30Some scaffolding for sublanguage tests (#72)Estevan Castilho1-4486/+0
* 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
2026-05-11Multigroup unified reference for hierarchical accessMarcos Magueta1-121/+121
2026-04-27FormatMarcos Magueta1-280/+107
2026-04-27Foreign call PRL (#67)Marcos Magueta1-0/+70
2026-04-20New Server & Manipulation refactorMarcos Magueta1-318/+320
Co-authored-by: Estevan Castilho <tevo@riajuu.net>
2026-04-04remove interop with cMarcos Magueta1-1/+1
2026-04-03formatMarcos Magueta1-2481/+3461
2026-04-03Polarity walker, constraint and manipulation refactor with batteriesMarcos Magueta1-2/+2
2026-03-23Constraint walker and polarity analysisMarcos Magueta1-81/+756
- 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 Magueta1-33/+33
* 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 Magueta1-25/+271
* 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-08dml and dclMarcos Magueta1-0/+300
2026-03-08constraintsMarcos Magueta1-1/+1035
2026-03-07wip: drl executorMarcos Magueta1-0/+308
2026-03-07catalogMarcos Magueta1-23/+192
2026-03-07erlang port commands and generated testsMarcos Magueta1-0/+875
2026-03-05ocaml re-migrationMarcos Magueta1-0/+0
2025-11-11migrating to erlang to attach to mnesiaMarcos Magueta1-8/+0
2024-10-27State of the world with Merkle Tree composition of files (#2)Marcos Magueta1-0/+8
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 05:16:05 +0000