Sakura/lib/drl/executor.ml, branch rnt-integration

listener working under RNT with a minimal drl

2026-09-27T02:01:03+00:00

new shrunk API for RNT on sakura

2026-09-27T01:09:11+00:00

further deletions on drl and prelude

2026-09-26T18:35:39+00:00

Format

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

RNT ephemeral relations representation

2026-06-23T01:55:27+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