aboutsummaryrefslogtreecommitdiffstats
path: root/bin/dune (unfollow)
Commit message (Collapse)AuthorFilesLines
2026-05-18RNT interfaceMarcos Magueta1-8/+0
Co-authored-by: Estevan Castilho <tevo@riajuu.net>
2026-05-11Multigroup unified reference for hierarchical accessMarcos Magueta1-0/+9
2026-04-22Prototype for configurationMarcos Magueta1-8/+1
2026-04-03Polarity walker, constraint and manipulation refactor with batteriesMarcos Magueta1-6/+0
2026-03-23Constraint walker and polarity analysisMarcos Magueta1-0/+6
- 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-08serverMarcos Magueta1-0/+6
2026-03-06relation typeMarcos Magueta1-1/+1
2026-03-05ocaml re-migrationMarcos Magueta1-0/+7
2025-11-11migrating to erlang to attach to mnesiaMarcos Magueta1-4/+0
2024-10-27State of the world with Merkle Tree composition of files (#2)Marcos Magueta1-1/+0
* 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
2024-10-16dune environment vars with flake and C++ interop with stubsMarcos Magueta1-0/+1
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 20:34:05 +0000