Sakura -

	Commit message (Collapse)	Author	Age	Files	Lines
*	TEMPORARILY create an implicit transaction for operations if neededphysical-layer-lmdb	Estevan Castilho	2026-05-09	1	-17/+35
\|
*	We're not using multiple LMDB databases, so avoid passing a name	Estevan Castilho	2026-05-09	1	-9/+6
\|
*	TEMPORARILY make LMDB errors strings	Estevan Castilho	2026-05-07	1	-29/+52
\|
*	`MemoryBackend` is now somewhere else	Estevan Castilho	2026-05-07	1	-87/+0
\|
*	Drop `begin_transaction`, add `abort`	Estevan Castilho	2026-05-07	1	-3/+3
\|
*	`put`, "bulk" operations on LMDB	Estevan Castilho	2026-05-07	1	-12/+16
\|
*	Make `with_transaction` a primitive	Estevan Castilho	2026-05-07	1	-18/+6
\|
*	WIP LMDB backend	Estevan Castilho	2026-05-02	1	-0/+94
\|
*	Split out the memory backend	Estevan Castilho	2026-05-02	1	-0/+83
\|
*	Format	Marcos Magueta	2026-04-27	2	-7/+6
\|
*	Foreign call PRL (#67)	Marcos Magueta	2026-04-27	1	-0/+2
\|
*	Introduce Multigroups (#65)	Marcos Magueta	2026-04-27	2	-2/+5
\|
*	Prototype for configuration	Marcos Magueta	2026-04-22	1	-5/+23
\|
*	New Server & Manipulation refactor	Marcos Magueta	2026-04-20	2	-2/+3
\| \| \|	Co-authored-by: Estevan Castilho <tevo@riajuu.net>
*	format	Marcos Magueta	2026-04-03	3	-315/+354
\|
*	Polarity walker, constraint and manipulation refactor with batteries	Marcos Magueta	2026-04-03	2	-69/+89
\|
*	Constraint walker and polarity analysis	Marcos Magueta	2026-03-23	1	-2/+21
\| \| \| \| \| \| \| \| \| \| \| \| \|	- 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)
*	Branching and naïve merge strategies	Marcos Magueta	2026-03-14	3	-0/+433
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	* 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>
*	format todos and comment improvement	Marcos Magueta	2026-03-08	1	-47/+20
\|
*	server	Marcos Magueta	2026-03-08	1	-1/+7
\|
*	domains	Marcos Magueta	2026-03-07	1	-0/+28
\|
*	erlang port commands and generated tests	Marcos Magueta	2026-03-07	2	-22/+282
\|
*	wip: physical	Marcos Magueta	2026-03-06	2	-0/+35