Sakura/lib/manipulation.ml, branch master

Format

2026-06-24T02:53:26+00:00

Improve the error handling situation (#71)

2026-05-27T23:24:12+00:00

* Sketches of a condition system

* `Condition.condition` -> `Condition.t`

* Migrate `NT` over

* Migrate `Branch` over

* Migrate `Sublanguage` et al. over

* Migrate the PRL over

* Migrate the DRL over

* Migrate the DML over

* Have `Qualified_name.try_parse` return a `Condition.t`

* Migrate the DDL over

* Migrate the VCL over

* Migrate the SCL over

* Migrate the ICL over

* Migrate the parsers over

* Just inherit the errors from NT and the sublanguages

* Migrate `Management.Physical` over

* Migrate `Configuration` over

* Migrate `Management.Branch` over

* Migrate `Transport` over

* Migrate `System` over

* Migrate `Server` over

* Include messages on on all conditions

* A prettier stringifier

RNT interface

2026-05-18T15:35:26+00:00

Co-authored-by: Estevan Castilho

Multigroup unified reference for hierarchical access

2026-05-12T02:10:27+00:00

Format

2026-04-28T02:29:57+00:00

Foreign call PRL (#67)

2026-04-28T02:24:19+00:00

Introduce Multigroups (#65)

2026-04-27T16:00:30+00:00

New Server & Manipulation refactor

2026-04-21T00:55:07+00:00

Co-authored-by: Estevan Castilho

Polarity walker, constraint and manipulation refactor with batteries

2026-04-03T19:04:05+00:00

Constraint walker and polarity analysis

2026-03-24T02:28:05+00:00

- 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)