| Commit message (Collapse) | Author | Files | Lines | ||
|---|---|---|---|---|---|
| 2026-04-29 | bootstrap nix with c on dune | Marcos Magueta | 1 | -0/+6 | |
| 2026-04-22 | Prototype for configuration | Marcos Magueta | 1 | -8/+1 | |
| 2026-04-03 | Polarity walker, constraint and manipulation refactor with batteries | Marcos Magueta | 1 | -6/+0 | |
| 2026-03-23 | Constraint walker and polarity analysis | Marcos Magueta | 1 | -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-08 | server | Marcos Magueta | 1 | -0/+6 | |
| 2026-03-06 | relation type | Marcos Magueta | 1 | -1/+1 | |
| 2026-03-05 | ocaml re-migration | Marcos Magueta | 1 | -0/+7 | |
| 2025-11-11 | migrating to erlang to attach to mnesia | Marcos Magueta | 1 | -4/+0 | |
| 2024-10-27 | State of the world with Merkle Tree composition of files (#2) | Marcos Magueta | 1 | -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-16 | dune environment vars with flake and C++ interop with stubs | Marcos Magueta | 1 | -0/+1 | |
 |
index : Sakura | |
| git repositories |
| aboutsummaryrefslogtreecommitdiffstats |