Sakura -

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