From a98fad877fa9ddacb32898b01e23d588f8df04aa Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Mon, 23 Mar 2026 23:28:05 -0300
Subject: Constraint walker and polarity analysis

- 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)
---
 bin/dune | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'bin/dune')

diff --git a/bin/dune b/bin/dune
index 5a6c7d4..27cf07a 100644
--- a/bin/dune
+++ b/bin/dune
@@ -11,3 +11,9 @@
  (modules server)
  (libraries relational_engine unix)
  (modes byte exe))
+
+(executable
+ (name bench)
+ (modules bench)
+ (libraries relational_engine unix)
+ (modes exe))
-- 
cgit v1.2.3