aboutsummaryrefslogtreecommitdiffstats
path: root/test (follow)
Commit message (Collapse)AuthorAgeFilesLines
* remove interop with cMarcos Magueta2026-04-041-1/+1
|
* formatMarcos Magueta2026-04-031-2481/+3461
|
* Polarity walker, constraint and manipulation refactor with batteriesMarcos Magueta2026-04-031-2/+2
|
* Constraint walker and polarity analysisMarcos Magueta2026-03-231-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)
* Sublanguages improvement & Coq experiment (#53)Marcos Magueta2026-03-221-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
* Branching and naïve merge strategiesMarcos Magueta2026-03-141-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>
* dml and dclMarcos Magueta2026-03-081-0/+300
|
* constraintsMarcos Magueta2026-03-081-1/+1035
|
* wip: drl executorMarcos Magueta2026-03-071-0/+308
|
* catalogMarcos Magueta2026-03-071-23/+192
|
* erlang port commands and generated testsMarcos Magueta2026-03-071-0/+875
|
* ocaml re-migrationMarcos Magueta2026-03-052-0/+6
|
* generalize constraints in membership with quantificationMarcos Magueta2026-03-041-52/+0
|
* 2OP Constraints and manipulationMarcos Magueta2026-03-031-0/+52
|
* Ephemeral relations, Refactor & Cleanup (#34)Marcos Magueta2025-12-146-1717/+0
|
* Infinite domains and membership rework (#22)Marcos Magueta2025-12-045-114/+77
|
* Joins with provenance and lineage (#11)Marcos Magueta2025-11-244-33/+758
|
* Infinite relations (#10)Marcos Magueta2025-11-223-0/+676
|
* Retract tuple, relation and clear relation (truncate) (#9)Marcos Magueta2025-11-221-0/+353
|
* migrating to erlang to attach to mnesiaMarcos Magueta2025-11-112-14/+0
|
* State of the world with Merkle Tree composition of files (#2)Marcos Magueta2024-10-272-2/+14
| | | | | | | | | | | | | | | | | * 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
* bootstrap project with flake and duneMarcos Magueta2024-10-162-0/+2
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 03:50:21 +0000